Skip to main content

Table 1 Top-level decomposition of SWaT

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

Functional Requirements (FRs) Design Parameters (DPs) Process Variables (PVs)
FR1: Feed water to water tanks/systems DP1: DOL/VSD Pumps Features - Switch (On/Off) and Speed
FR2: Track level of water in tanks DP2: Sensing mechanisms Value range
FR3: Track flow rate of water DP3: EMF sensors Value range
FR4: Monitor chemical properties of water DP4: Chemical properties sensors Value range
FR5: Feed chemicals to water DP5: Dosing Pumps Switch (On/Off)
FR6: Track water pressure DP6: Pressure sensors Value range
FR7: Direct flow of water DP7: Motorised valves Switch (On/Off)
FR8: Track level of chemicals in tanks DP8: Level switch Value range