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 |