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 |