Table 3 Second-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: Pump raw water from stage one to UF feed tank in stage three | DP1.1: P-101,P-102 | On/Off |
FR1.2: Pump water from stage three to RO feed tank in stage four | DP1.2: P-301,P-302 | On/Off |
FR1.3: Pump water from stage four through de-chlorination system | DP1.3: P-401,P-402 | On/Off |
FR1.4: Pump (VSD) water from stage five to tanks in stage six | DP1.4: P-501,P-502 | On/Off |
FR1.5: Pump water from RO permeate tank to raw water tank in stage one | DP1.5: P-601 | On/Off |
FR1.6: Pump water for UF backwash system | DP1.6: P-602 | On/Off |
FR1.7: Pump water for RO/UF cleaning | DP1.7: P-603 | On/Off |
FR2.1: Determine water level in raw water tank of stage one | DP2.1: LIT-101 | 0 ≤α≤ max a |
FR2.2: Determine water level in UF feed tank of stage three | DP2.2: LIT-301 | 0 ≤α≤ max b |
FR2.3: Determine water level in RO feed tank of stage four | DP2.3: LIT-401 | 0 ≤α≤ max c |
FR2.4: Determine water level in RO permeate tank of stage six | DP2.4: LS-601 | Low d≤α≤ High d |
FR2.5: Determine water level in UF backwash tank of stage six | DP2.5: LS-602 | Low e≤α≤ High e |
FR2.6: Determine water level in CIP tank of stage six | DP2.6: LS-603 | Low f≤α≤ High f |
FR3.1: Measure raw water flow rate in stage one | DP3.1: FIT-101 | Low g≤α≤ High g |
FR3.2: Measure water flow rate in stage two | DP3.2: FIT-201 | Low h≤α≤ High h |
FR3.3: Measure water flow rate in stage three | DP3.3: FIT-301 | Low i≤α≤ High i |
FR3.4: Measure water flow rate in stage four | DP3.4: FIT-401 | Low j≤α≤ High j |
FR3.5: Measure water flow rate in stage five | DP3.5: FIT-501,FIT-502,FIT-503,FIT-504 | Low k≤α≤ High k |
FR3.6: Measure water flow rate in stage six | DP3.6: FIT-601 | Low l≤α≤ High l |
FR4.1: Calculate chemical properties of water | DP4.1: AIT-201,AIT-202,AIT-203,AIT-301,AIT-302,AIT-303 | Low m≤α≤ High m |
| Â | AIT-401,AIT-402,AIT-501,AIT-502,AIT-503,AIT-504 | Â |
FR5.1: Pump chemicals to water | DP5.1: P-201,P-202,P-203,P-204,P-205,P-206,P-207,P-208, | On/Off |
| Â | P-403,P-404 | Â |
FR6.1: Measure UF filter differential pressure | DP6.1: DPIT-301 | 0 ≤α≤ max n |
FR6.2: Measure RO membrane inlet pressure | DP6.2: PIT-501 | 0 ≤α≤ max o |
FR6.3: Measure RO membrane pressure | DP6.3: PIT-502 | 0 ≤α≤ max p |
FR6.4: Measure RO reject pressure | DP6.4: PIT-503 | 0 ≤α≤ max q |
FR7.1: Control water flow direction | DP7.1: MV-101,MV-201,MV-301,MV-302,MV-303,MV-304, | On/Off |
| Â | MV-501,MV-502,MV-503,MV-504 | Â |
FR8.1: Determine NaCl level in NaCl tank of stage two | DP8.1: LS-201 | Low r≤α≤ max r |
FR8.2: Determine HCl level in HCl tank of stage two | DP8.2: LS-202 | Low s≤α≤ max s |
FR8.3: Determine NaOCl level in NaOCl tank of stage two | DP8.3: LS-203 | Low t≤α≤ max t |
FR8.4: Determine NaHSO3 level in NaHSO3 tank of stage four | DP8.4: LS-401 | Low u≤α≤ max u |