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 |