Skip to main content

Table 7 State expressions of Invariant #2 for SWaT

From: Deriving invariant checkers for critical infrastructure using axiomatic design principles

State expression Label
!(FIT-501 >0) and !P-401 and !P-402 No anomaly
!(FIT-501 >0) and !P-401 and P-402 Anomaly
!(FIT-501 >0) and P-401 and !P-402 Anomaly
!(FIT-501 >0) and P-401 and P-402 Anomaly
FIT-501 >0 and !P-401 and !P-402 Anomaly
FIT-501 >0 and !P-401 and P-402 No anomaly
FIT-501 >0 and P-401 and !P-402 No anomaly
FIT-501 >0 and P-401 and P-402 Anomaly