Skip to main content

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