From: Deriving invariant checkers for critical infrastructure using axiomatic design principles
Functional Requirements (FRs) | Design Parameters (DPs) |
---|---|
FR1.1: Pump raw water from stage one to UF feed tank in stage three | DP1.1: P-101, P-102 |
 | DP1.1.1: P-101; Other DPs: DP2.1(LIT-101), DP2.2(LIT-301), DP7.1(MV-201) |
 | DP1.1.2: P-102; Other DPs: DP2.1(LIT-101), DP2.2(LIT-301), DP7.1(MV-201) |
FR1.2: Pump water from stage three to RO feed tank in stage four | DP1.2: P-301, P-302 |
 | DP1.2.1: P-301; Other DPs: DP2.2(LIT-301), DP2.3(LIT-401), DP7.1(MV-302) |
 | DP1.2.2: P-302; Other DPs: DP2.2(LIT-301), DP2.3(LIT-401), DP7.1(MV-302) |
FR1.3: Pump water from stage four through de-chlorination system | DP1.3: P-401, P-402 |
 | DP1.3.1: P-401; Other DPs: DP1.4(P-501,P-502), DP2.3(LIT-401) |
 | DP1.3.2: P-402; Other DPs: DP1.4(P-501,P-502), DP2.3(LIT-401) |
FR1.4: Pump (VSD) water from stage five to tanks in stage six | DP1.4: P-501, P-502 |
 | DP1.4.1: P-501; Other DPs: DP1.3(P-401,P-402), DP7.1(MV-501) |
 | DP1.4.2: P-502; Other DPs: DP1.3(P-401,P-402), DP7.1(MV-501) |
FR1.5: Pump water from RO permeate tank to raw water tank in stage one | DP1.5: P-601; Other DPs: DP2.1(LIT-101), DP2.4(LS-601) |
FR1.6: Pump water for UF backwash system | DP1.6: P-602; Other DPs: DP2.5(LS-602), DP7.1(MV-301) |
FR1.7: Pump water for RO/UF cleaning | DP1.7: P-603; Other DPs: DP2.6(LS-603) |
FR2.1: Determine water level in raw water tank of stage one | DP2.1: LIT-101; Other DPs: DP1.1(P-101,P-102), DP1.5(P-601), DP2.4(LS-601), DP7.1(MV-101) |
FR2.2: Determine water level in UF feed tank of stage three | DP2.2: LIT-301; Other DPs: DP1.1(P-101,P-102), DP1.2(P-301,P-302), DP7.1(MV-201) |
FR2.3: Determine water level in RO feed tank of stage four | DP2.3: LIT-401; Other DPs: DP1.2(P-301,P-302), DP1.3(P-401,P-402), DP7.1(MV-302) |
FR2.4: Determine water level in RO permeate tank of stage six | DP2.4: LS-601; Other DPs: DP1.5(P-601), DP2.1(LIT-101) |
FR2.5: Determine water level in UF backwash tank of stage six | DP2.5: LS-602; Other DPs: DP1.6(P-602), DP7.1(MV-301) |
FR2.6: Determine water level in CIP tank of stage six | DP2.6: LS-603; Other DPs: DP1.7(P-603), DP7.1(MV-301) |
FR3.1: Measure raw water flow rate in stage one | DP3.1: FIT-101; Other DPs: DP2.1(LIT-101), DP7.1(MV-101) |
FR3.2: Measure water flow rate in stage two | DP3.2: FIT-201; Other DPs: DP1.1(P-101,P-102), DP2.2(LIT-301), DP7.1(MV-201) |
FR3.3: Measure water flow rate in stage three | DP3.3: FIT-301; Other DPs: DP1.2(P-301,P-302), DP2.3(LIT-401), DP7.1(MV-302) |
FR3.84: Measure water flow rate in stage four | DP3.4: FIT-401; Other DPs: DP1.3(P-401,P-402), DP2.3(LIT-401) |
FR3.5: Measure water flow rate in stage five | DP3.5: FIT-501,FIT-502,FIT-503,FIT-504 |
 | DP3.5.1: FIT-501; Other DPs: DP1.3(P-401,P-402) |
 | DP3.5.2: FIT-502; Other DPs: DP1.4(P-501,P-502) |
 | DP3.5.3: FIT-503; Other DPs: DP1.4(P-501,P-502) |
 | DP3.5.4: FIT-504; Other DPs: DP1.3(P-401,P-402) |
FR3.6: Measure water flow rate in stage six | DP3.6: FIT-601; Other DPs: DP1.6(P-602), DP2.5(LS-602), DP7.1(MV-301) |
FR4.1: Calculate chemical properties of water | DP4.1: AIT-201,AIT-202,AIT-203,AIT-301,AIT-302,AIT-303, |
 | AIT-401,AIT-402,AIT-501,AIT-502,AIT-503,AIT-504 |
 | DP4.1.1: AIT-201; Other DPs: DP1.1.1(P-101), DP1.1.2(P-102) |
 | DP4.1.2: AIT-202; Other DPs: DP1.1.1(P-101), DP1.1.2(P-102) |
 | DP4.1.3: AIT-203; Other DPs: DP1.1.1(P-101), DP1.1.2(P-102) |
 | DP4.1.4: AIT-301; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302) |
 | DP4.1.5: AIT-302; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302) |
 | DP4.1.6: AIT-303; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302) |
 | DP4.1.7: AIT-401; Other DPs: DP1.3.1(P-401), DP1.3.2(P-402) |
 | DP4.1.8: AIT-402; Other DPs: DP1.3.1(P-401), DP1.3.2(P-402) |
 | DP4.1.9: AIT-501; Other DPs: DP1.3.1(P-401), DP1.3.2(P-402) |
 | DP4.1.10: AIT-502; Other DPs: DP1.3.1(P-401), DP1.3.2(P-402) |
 | DP4.1.11: AIT-503; Other DPs: DP1.3.1(P-401), DP1.3.2(P-402) |
 | DP4.1.11: AIT-504; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
FR5.1: Pump chemicals to water | DP5.1: P-201,P-202,P-203,P-204,P-205,P-206,P-207,P-208,P-403,P-404 |
 | DP5.1.1: P-201; Other DPs: DP4.1.1(AIT-201), DP7.1.2(MV-201) |
 | DP5.1.2: P-202; Other DPs: DP4.1.1(AIT-201), DP7.1.2(MV-201) |
 | DP5.1.3: P-203; Other DPs: DP4.1.2(AIT-202), DP7.1.2(MV-201) |
 | DP5.1.4: P-204; Other DPs: DP4.1.2(AIT-202), DP7.1.2(MV-201) |
 | DP5.1.5: P-205; Other DPs: DP4.1.3(AIT-203), DP7.1.2(MV-201) |
 | DP5.1.6: P-206; Other DPs: DP4.1.3(AIT-203), DP7.1.2(MV-201) |
 | DP5.1.7: P-207; Other DPs: DP4.1.5(AIT-302) |
 | DP5.1.8: P-208; Other DPs: DP4.1.5(AIT-302) |
 | DP5.1.9: P-403; Other DPs: DP4.1.8(AIT-402) |
 | DP5.1.10: P-404; Other DPs: DP4.1.8(AIT-402) |
FR6.1: Measure UF filter differential pressure | DP6.1: DPIT-301; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302), DP7.1(MV-302) |
FR6.2: Measure RO membrane inlet pressure | DP6.2: PIT-501; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
FR6.3: Measure RO membrane pressure | DP6.3: PIT-502; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502), DP7.1.7(MV-501), |
 | DP7.1.9(MV-503) |
FR6.4: Measure RO reject pressure | DP6.4: PIT-503; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502), DP7.1.8(MV-502), |
 | DP7.1.10(MV-504) |
FR7.1: Control water flow direction | DP7.1: MV-101,MV-201,MV-301,MV-302,MV-303,MV-304,MV-501,MV-502,MV-503,MV-504 |
 | DP7.1.1: MV-101; Other DPs: DP2.1(LIT-101) |
 | DP7.1.2: MV-201; Other DPs: DP1.1.1(P-101), DP1.1.2(P-102), DP2.2(LIT-301) |
 | DP7.1.3: MV-301; Other DPs: DP1.6(P-602), DP2.5(LS-602), DP2.6(LS-603) |
 | DP7.1.4: MV-302; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302), DP2.3(LIT-401) |
 | DP7.1.5: MV-303; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302) |
 | DP7.1.6: MV-304; Other DPs: DP1.2.1(P-301), DP1.2.2(P-302) |
 | DP7.1.7: MV-501; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
 | DP7.1.8: MV-502; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
 | DP7.1.9: MV-503; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
 | DP7.1.10: MV-504; Other DPs: DP1.4.1(P-501), DP1.4.2(P-502) |
FR8.1: Determine NaCl level in NaCl tank of stage two | DP8.1: LS-201; Other DPs: DP5.1.1(P-201), DP5.1.2(P-202) |
FR8.2: Determine HCl level in HCl tank of stage two | DP8.2: LS-202; Other DPs: DP5.1.3(P-203), DP5.1.4(P-204) |
FR8.3: Determine NaOCl level in NaOCl tank of stage two | DP8.3: LS-203; Other DPs: DP5.1.5(P-205), DP5.1.6(P-206), DP5.1.7(P-207), DP5.1.8(P-208) |
FR8.4: Determine NaHSO3 level in NaHSO3 tank of stage four | DP8.4: LS-401; Other DPs: DP5.1.9(P-403), DP5.1.10(P-404) |