Skip to main content

Table 2 Third-level decomposition of SWaT’s FRs and DPs

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

Functional Requirements (FRs) Design Parameters (DPs) Process Variables (PVs)
FR1.1.1: Feed raw water from stage one to UF feed tank in stage three using pump P-101 DP1.1.1: P-101 On/Off
FR1.1.2: Feed raw water from stage one to UF feed tank in stage three using pump P-102 DP1.1.2: P-102 On/Off
FR1.2.1: Feed water from stage three to RO feed tank in stage four using pump P-301 DP1.2.1: P-301 On/Off
FR1.2.2: Feed water from stage three to RO feed tank in stage four using pump P-302 DP1.2.2: P-302 On/Off
FR1.3.1: Pump water from stage four through de-chlorination system using pump P-401 DP1.3.1: P-401 On/Off
FR1.3.2: Pump water from stage four through de-chlorination system using pump P-402 DP1.3.2: P-402 On/Off
FR1.4.1: Pump (VSD) water from stage five to tanks in stage six using pump P-501 DP1.4.1: P-501 On/Off
FR1.4.2: Pump (VSD) water from stage five to tanks in stage six using pump P-502 DP1.4.2: P-502 On/Off
FR3.5.1: Compute RO membrane inlet flow meter in stage five DP3.5.1: FIT-501 0 ≤α≤ max k1
FR3.5.2: Compute RO permeate flow meter in stage five DP3.5.2: FIT-502 0 ≤α≤ max k2
FR3.5.3: Compute RO reject flow meter in stage five DP3.5.3: FIT-503 0 ≤α≤ max k3
FR3.5.4: Compute RO re-circulation flow meter in stage five DP3.5.4: FIT-504 0 ≤α≤ max k4
FR4.1.1: Calculate chemical dosing conductivity of water in stage two DP4.1.1: AIT-201 0 ≤α≤ max m1
FR4.1.2: Calculate chemical dosing pH of water in stage two DP4.1.2: AIT-202 0 ≤α≤ max m2
FR4.1.3: Calculate chemical dosing ORP of water in stage two DP4.1.3: AIT-203 0 ≤α≤ max m3
FR4.1.4: Calculate UF permeate pH of water in stage three DP4.1.4: AIT-301 0 ≤α≤ max m4
FR4.1.5: Calculate UF permeate ORP of water in stage three DP4.1.5: AIT-302 0 ≤α≤ max m5
FR4.1.6: Calculate UF permeate conductivity of water in stage three DP4.1.6: AIT-303 0 ≤α≤ max m6
FR4.1.7: Calculate RO feed hardness of water in stage four DP4.1.7: AIT-401 0 ≤α≤ max m7
FR4.1.8: Calculate RO ORP of water in stage four DP4.1.8: AIT-402 0 ≤α≤ max m8
FR4.1.9: Calculate RO feed pH of water in stage five DP4.1.9: AIT-501 0 ≤α≤ max m9
FR4.1.10: Calculate RO feed ORP of water in stage five DP4.1.10: AIT-502 0 ≤α≤ max m10
FR4.1.11: Calculate RO feed conductivity of water in stage five DP4.1.11: AIT-503 0 ≤α≤ max m11
FR4.1.12: Calculate RO permeate conductivity of water in stage five DP4.1.12: AIT-504 0 ≤α≤ max m12
FR5.1.1: Feed NaCl dosing in stage two using pump P-201 DP5.1.1: P-201 On/Off
FR5.1.2: Feed NaCl dosing in stage two using pump P-202 DP5.1.2: P-202 On/Off
FR5.1.3: Feed HCl dosing in stage two using pump P-203 DP5.1.3: P-203 On/Off
FR5.1.4: Feed HCl dosing in stage two using pump P-204 DP5.1.4: P-204 On/Off
FR5.1.5: Feed NaOCl dosing in stage two using pump P-205 (FAC) DP5.1.5: P-205 On/Off
FR5.1.6: Feed NaOCl dosing in stage two using pump P-206 (FAC) DP5.1.6: P-206 On/Off
FR5.1.7: Feed NaOCl dosing to stage three UF cleaning using pump P-207 (UF) DP5.1.7: P-207 On/Off
FR5.1.8: Feed NaOCl dosing to stage three UF cleaning using pump P-208 (UF) DP5.1.8: P-208 On/Off
FR5.1.9: Feed NaHSO3 dosing in stage four using pump P-403 DP5.1.9: P-403 On/Off
FR5.1.10: Feed NaHSO3 dosing in stage four using pump P-404 DP5.1.10: P-404 On/Off
FR7.1.1: Direct raw water inlet in stage one DP7.1.1: MV-101 On/Off
FR7.1.2: Direct water flow in stage two DP7.1.2: MV-201 On/Off
FR7.1.3: Direct UF backwash in stage three DP7.1.3: MV-301 On/Off
FR7.1.4: Direct UF feed water in stage three DP7.1.4: MV-302 On/Off
FR7.1.5: Direct UF backwash drain in stage three DP7.1.5: MV-303 On/Off
FR7.1.6: Direct UF drain in stage three DP7.1.6: MV-304 On/Off
FR7.1.7: Direct RO permeate in stage five DP7.1.7: MV-501 On/Off
FR7.1.8: Direct RO backwash in stage five DP7.1.8: MV-502 On/Off
FR7.1.9: Direct RO permeate reject in stage five DP7.1.9: MV-503 On/Off
FR7.1.10: Direct RO reject in stage five DP7.1.10: MV-504 On/Off