Skip to main content

Table 5 Top-level decomposition of WADI

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

Functional Requirements (FRs) Design Parameters (DPs)
FR1: Supply water to the elevated tanks DP1: Pumps
FR2: Monitor water level of elevated tanks DP2: Level sensors
FR3: Monitor water flow rate DP3: Flow sensors
FR4: Monitor the water quality DP4: Water quality sensors
FR5: Monitor the dosing agent DP5: Dosing pumps
FR6: Supply water to the consumer tanks DP6: Methods of distribution
FR7: Measure and monitor the pressure of water DP7: Pressure meters
FR8: Control the direction of the water flow DP8: Control valves