Engineering Risk Benefit Analysis 1.155, 2.943, 3.577, 6.938, 10.816, 13.621, 16.862, 22.82 ESD.72J, ESD.721 RPRA 1. The Logic of Certainty George E. Apostolakis Massachusetts Institute of Technology Spring 2007 RPRA 1. The Logic of Certainty 1 Event Definition •Event: A statement that can be true or false. •“It may rain tonight” is not an event. •According to our current state of knowledge, we may say that an event E is TRUE, FALSE, or POSSIBLE (UNCERTAIN). •Eventually, E will be either TRUE or FALSE. RPRA 1. The Logic of Certainty 2 True Event False Possible RPRA 1. The Logic of Certainty 3 Venn Diagrams • Sample Space: The set of all possible outcomes of an experiment. Each elementary outcome is represented by a sample point. Failure Time {0, ∞} • Examples: Die {1,2,3,4,5,6} • A collection of sample points is an event. S Venn Diagram E RPRA 1. The Logic of Certainty 4 Indicator Variables 1,If E j is T If E j is F Xj = 0, Important Note: Xk = X, k: 1, 2, … S ___ Venn Diagram E RPRA 1. The Logic of Certainty E 5 Union (OR operation) A∪ B = C X C = 1 − (1 − X A )(1 − X B ) X C ≡ C X j C A B A RPRA 1. The Logic of Certainty B 6 Intersection (AND operation) A∩ B = C XC = X AX B XC ≡ ∏ X j C A B A Mutually Exclusive Events: B A∩ B = ∅ RPRA 1. The Logic of Certainty 7 Simple Systems Reliability Block Diagram for the Series System 1 .... failure: X = 1 − System Failure N N N 1 1 ∏ (1 − X j ) ≡ C X j N success : Y = ∏ Yj 1 1 ... N RPRA 1. The Logic of Certainty 8 Reliability Block Diagram for the Parallel System N X =∏ X j 1 1 N 2 Y = CYj i 1 i+1 TOP N 1 2 i RPRA 1. The Logic of Certainty i+1 N 9 Event-Tree Analysis IE BARRIER 1 BARRIER 2 1 (OK) SUCCESS 2 (R1) 3 (R2) FAILURE RPRA 1. The Logic of Certainty 10 Fault-Tree Analysis Reliability Block Diagram for the 2-out-of-3 System A B 2/3 C RPRA 1. The Logic of Certainty 11 X T = 1 − (1 − Y1 )(1 − Y2 ) = 1 − (1 − X A X B X C ){1 − [1 − (1 − Z1 )(1 − Z 2 )(1 − Z 3 )]} = 1 − (1 − X A X B X C ){1 − [1 − (1 − X A X B )(1 − X B X C )(1 − X C X A )]} Expanding and using Xk = X we get X T = 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A ) RPRA 1. The Logic of Certainty 12 Cut sets and minimal cut sets • CUT SET: Any set of events (failures of components and human actions) that cause system failure. • MINIMAL CUT SET: A cut set that does not contain another cut set as a subset. RPRA 1. The Logic of Certainty 13 New fault tree: S y s te m A B F a ilu r e B C C A Minimal cut sets: M 1 = X A X B, M2 = X B XC ,, M3 = XC X A 3 X T = C M j ≡ 1 − (1 − M 1 ) (1 − M 2 ) (1 − M 3 ) = 1 = 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A) RPRA 1. The Logic of Certainty 14 XT = φ(X1, X2,…Xn) ≡ φ(X) φ(X) is the structure or switching function. It maps an n-dimensional vector of 0s and 1s onto 0 or 1. Disjunctive Normal Form: N N 1 1 XT = 1 − ∏ (1 − M i ) ≡ C M i Sum-of-Products Form: N N −1 N XT = ∑ Mi − ∑ i =1 N +1 N ∑ M i M j + ... + (−1) ∏ M i i =1 j =i +1 RPRA 1. The Logic of Certainty i =1 15 For the 2-out-of-3 System: XT=1-(1-XAXB) (1-XBXC) (1-XCXA) XT = (M1+M2+M3) - (M1M2+M2M3+M3M1) + M1M2M3 But, M1M2 = XAXB2XC = XAXBXC Therefore, the sum-of-products expression is: XT = (XAXB+XBXC+XCXA) - 2XAXBXC RPRA 1. The Logic of Certainty 16 The Bridge Network A 1 3 5 2 B 4 {X1X2}, {X3X4}, {X2X3X5}, {X1X4X5} Disjunctive Normal Form: XT=1-(1-X1X2)(1-X3X4)(1-X2X3X5)(1-X1X4X5) Sum-of-Products Form: XT = X1X2+ X3X4+ X2X3X5+ X1X4X5- X1X2 X3X4- X1X2X3X5- X1X2X4X5 -X2X3X4X5 - X1X3X4X5 + 2X1X2X3X4X5 RPRA 1. The Logic of Certainty 17 Causes of Failure 1. 2. 3. Primary failure ("hardware" failure) Secondary failure (external, environmental) "Command" failure (no input; no power) N o O u tp u t fro m C om ponent P r im a r y F a ilu r e S e c o n d a ry F a ilu r e RPRA 1. The Logic of Certainty C om m and F a ilu r e 18 Reliability Block Diagram for the Fuel-Supply System T1 Fuel Source T2 Fuel Source P1 P2 Control Valve V1 Pump Train 1 Emergency Diesel Engine Control Valve V2 Pump Train 2 Electric Power Source, E Control System, C Cooling System, CO RPRA 1. The Logic of Certainty 19 Fault tree elements TOP EVENT “OR” Gate INTERMEDIATE EVENT, A “AND” Gate INCOMPLETELY DEVELOPED EVENT, B 2 Transfer in from Sheet 2 A1 A2 Basic Event A1 Basic Event A2 Note: It’s helpful to start the fault-tree development from the output of the system (the top event) and work backwards. RPRA 1. The Logic of Certainty 20 LOSS OF FUEL FLOW , T LOSS OF TRAIN 1 LOSS OF TRAIN 2 E1 MECHANICAL M LOSS OF TRAIN 2 2 Loss of Electricity E P2 T2 Loss of Electricity E Loss of Control C Loss of Cooling E2 Loss of Control C Loss of Cooling CO V2 MECHANICAL LOSS OF TRAIN M 1 1 CO T1 P1 V1 RPRA 1. The Logic of Certainty 21 A simpler fault tree No Fuel is Delivered When Needed E Fails C Fails CO Fails Pumping Branches Fail Train 1 Fails T1 Fails to Supply Fuel P1 Fails to Pump Fuel Train 2 Fails V1 Fails Closed T2 Fails to Supply Fuel RPRA 1. The Logic of Certainty P2 Fails to Pump Fuel V2 Fails Closed 22 Development of T1 Tank T1 Failure to Supply Fuel Tank is Intact But Em pty and Undetected Tank (and Supply Pipe) is Not Intact Supply Pipe is Plugged Tank is Em pty Tank is Em ptied Inadvertantly (hum an error) Tank is Em ptied in Use and Not Refilled Tank Drain Valve is Left O pen Fuel Level Detection Fails Hum an Action Sludge Buildup Corrosion Induced Failure Earthquake Induced Failure M issile Im pact Induced Failure Internal Fire/Explosion Induced Failure Corrosion RPRA 1. The Logic of Certainty Fatique Induced Failure Faulty M anufacture & Control Program 23 System min cut sets T1, Tank P1, Pump and of V1, Valve Any combination of an element of C plus E CO T2, Tank P2, Pump V2, Valve Control System or Electric Power Source or Cooling System RPRA 1. The Logic of Certainty 24 RPRA 1. The Logic of Certainty 25 Examples of Initiating Events • Loss of Coolant • Transients • Human Error • Loss of Power • Fires • Airplane Crashes • Earthquakes RPRA 1. The Logic of Certainty 26