Browse > Article
http://dx.doi.org/10.5516/NET.03.2012.707

RELIABILITY ANALYSIS OF DIGITAL SYSTEMS IN A PROBABILISTIC RISK ANALYSIS FOR NUCLEAR POWER PLANTS  

Authen, Stefan (Risk Pilot)
Holmberg, Jan-Erik (VTT)
Publication Information
Nuclear Engineering and Technology / v.44, no.5, 2012 , pp. 471-482 More about this Journal
Abstract
To assess the risk of nuclear power plant operation and to determine the risk impact of digital systems, there is a need to quantitatively assess the reliability of the digital systems in a justifiable manner. The Probabilistic Risk Analysis (PRA) is a tool which can reveal shortcomings of the NPP design in general and PRA analysts have not had sufficient guiding principles in modelling particular digital components malfunctions. Currently digital I&C systems are mostly analyzed simply and conventionally in PRA, based on failure mode and effects analysis and fault tree modelling. More dynamic approaches are still in the trial stage and can be difficult to apply in full scale PRA-models. As basic events CPU failures, application software failures and common cause failures (CCF) between identical components are modelled.The primary goal is to model dependencies. However, it is not clear which failure modes or system parts CCF:s should be postulated for. A clear distinction can be made between the treatment of protection and control systems. There is a general consensus that protection systems shall be included in PRA, while control systems can be treated in a limited manner. OECD/NEA CSNI Working Group on Risk Assessment (WGRisk) has set up a task group, called DIGREL, to develop taxonomy of failure modes of digital components for the purposes of PRA. The taxonomy is aimed to be the basis of future modelling and quantification efforts. It will also help to define a structure for data collection and to review PRA studies.
Keywords
Nuclear I&C; Digital I&C; Software; Probabilistic Risk Analysis; Probabilistic Safety Assessment; Reliability; PRA; PSA;
Citations & Related Records

Times Cited By Web Of Science : 0  (Related Records In Web of Science)
연도 인용수 순위
  • Reference
1 "Function Safety of Electrical/Electronic/Programmable Safety-Related Systems, Part 1: General requirements," IEC 61508-1, International Electrotechnical Commission, Geneva (2010).
2 "Estimating Failure Rates in Highly Reliable Digital Systems." EPRI TR-1021077, Electric Power Research Institute, Inc., Palo Alto, CA (2010). Limited distribution.
3 S. Authen, J. Gustafsson and J.-E. Holmberg, "Guidelines for reliability analysis of digital systems in PSA context - Phase 2 Status Report," NKS-261 Nordic nuclear safety research, Roskilde (2012).
4 T.-L. Chu and M. Yue, "A Comparison of Taxonomies of Digital System Failure Modes," Proc. 11th International Probabilistic Safety Assessment & Management Conference, PSAM 11, Helsinki, June 25-29, 2012.
5 Proceedings of the DIGREL seminar "Development of best practice guidelines on failure modes taxonomy for reliability assessment of digital I&C systems for PSA", October 25, 2011, VTT-M-07989-11, VTT, Espoo (2011).
6 J. Sedlak, "Software critical for safety in reliability models," Proc. European Safety and Reliability (ESREL) Conference, ESREL 2009, Prague, September 7-10, 2009.
7 W. Vesely, M. Stamatelatos, J. Dugan, J. Fragola, J. Minarick III and J. Railsback, J., "Fault Tree Handbook with Aerospace Applications," NASA, Washington D.C. (2002).
8 B. Enzinna, L. Shi and S. Yang, "Software Common-Cause Failure Probability Assessment," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
9 "Failure Rates of Components," SN 29500. Siemens AG, CT SR SI, Otto-Hahn-Ring 6, D-81739 Munich, Germany.
10 "Reliability Prediction of Electronic Equipment, Notice 2" MIL-HDBK-217F(2), US Department of Defense, Washington D.C. (1995).
11 "Nuclear power plants - Instrumentation and control systems important to safety - Classification of instrumentation and control functions," IEC 61226. Second edition. International Electrotechnical Commission, Geneva (2005).
12 "Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 6: Guidelines on the application of IEC 61508:2 and IEC 61508:3, IEC 61508-6, International Electrotechnical Commission, Geneva (2000).
13 K. Bjorkman, O. Bäckström, J.-E. Holmberg. "Use of IEC 61508 in Nuclear Applications Regarding Software Reliability - Pre-study," VTT-R-09293-11, VTT, Espoo (2012).
14 S. Authen, K. Bjorkman, J.-E. Holmberg and J. Larsson, "Guidelines for reliability analysis of digital systems in PSA context - Phase 1 Status Report," NKS-230 Nordic nuclear safety research, Roskilde (2010).
15 "Licensing of safety critical software for nuclear reactors - Common position of seven European nuclear regulators and authorized technical support organisations," SSM Report 2010:01, SSM, Stockholm (2010).
16 P.V. Varde, J.G. Choi, D.Y. Lee and J.B. Han, "Reliability Analysis of Protection System of Advanced Pressurized Water Reactor-APR 1400," KAERI/TR-2468/2003, Korea Atomic Energy Research Institute, (2003).
17 T.-L. Chu, G. Martinez-Guridi and M. Yue, "Workshop on Philosophical Basis for Incorporating Software Failures in a Probabilistic Risk Assessment," BNL-90571-2009-IR, Brookhaven National Laboratory (2009).
18 C. Smidts and M. Li, "Software Engineering Measures for Predicting Software Reliability in Safety Critical Digital Systems," NUREG/GR-0019, United States Nuclear Regulatory Commission, Washington D.C. (2000).
19 C. Smidts and M. Li, "Preliminary Validation of a Methodology for Assessing Software Quality," NUREG/CR-6848, U.S.NRC, Washington D.C. (2004).
20 T.-L. Chu, M. Yue, G. Martinez-Guridi and J. Lehner, "Review of Quantitative Software Reliability Methods," BNL-94047-2010, Brookhaven National Laboratory (2010).
21 A. Helminen, "Reliability estimation of safety-critical software-based systems using Bayesian networks," STUKYTO-TR 178, STUK, Helsinki (2001).
22 A. Helminen and U. Pulkkinen, "Reliability assessment using Bayesian network. Case study on quantative estimation of a software-based motor protection relay," STUK-YTO-TR 198, STUK, Helsinki (2003).
23 H.-S. Eom, G.-Y. Park, H.-G., Kag and S.-C. Jang, "Reliability Assessment Of A Safety-Critical Software By Using Generalized Bayesian Nets," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
24 M. Yau and S. Guarro, "Application of Context-based Software Risk Model (CSRM) to Assess Software Risk Contribution in Constellation Project PRAs," Proc. 10th International Probabilistic Safety Assessment & Management Conference, PSAM 10, Seattle, Washington, June 7-11, 2010, paper 186
25 S. Guarro, "Risk-Informed Safety Assurance and Probabilistic Assessment of Mission-Critical Software-Intensive Systems," NASA Technical Paper AR 07-01; JSC-CN-19704, ASCA, Inc., Redondo Beach, CA (2007).
26 J.D. Musa and K. Okumoto, "A Logarithmic Poisson Execution Time Model for Software Reliability Measurement," Proc. 7th International Conference on Software Engineering, Orlando, FL, March 26-29, 1984, pp. 230-238.
27 N.F. Schneidewind and T.W. Keller, "Applying Reliability Models to the Space Shuttle," IEEE Software, 28-33, (1992).
28 E.M. Clarke, Jr., O. Grumberg and D.A. Peled, Model Checking, The MIT Press, Massachusetts Institute of technology, Cambridge, MA (2000).
29 F. Ortmeier, G. Schellhorn, A. Thums, W. Reif, B. Hering and H. Trappschuh, "Safety analysis of the height control system for the Elbtunnel," Reliability Engineering & System Safety, 81(203) 259-268.
30 K.Y. Koh and P.H. Seong, "SACS2: A Dynamic and Formal Approach to Safety Analysis for Complex Safety Critical Systems," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
31 M. Bozzano and A. Villafiorita, "The FSAP/NuSMV-SA Safety Analysis Platform," International Journal on Software Tools for Technology Transfer, 9(2007) 5-24.   DOI
32 S. Bingham and J. Lach, "Exhaustive Integrated Circuit Fault Coverage Analysis Using Formal Methods," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
33 M. Kwiatkowska, G. Norman and D. Parker, "PRISM: Probabilistic Model Checking for Performance and Reliability Analysis," ACM SIGMETRICS Performance Evaluation Review 36(2009) 40-45.   DOI
34 G. Dahll, B. Liwang and U. Pulkkinen, "Software-Based System Reliability," Technical Note, NEA/SEN/SIN/ WGRISK(2007)1, Working Group on Risk Assessment (WGRISK) of the Nuclear Energy Agency, Paris (2007).
35 T. Aldemir, S. Guarro, J. Kirschenbaum, D. Mandelli, L.A. Mangan, P. Bucci, M. Yau, B. Johnson, C. Elks, E. Ekici, M.P. Stovsky, D.W. Miller, X. Sun, S.A. Arndt, Q. Nguyen and J. Dion, "A Benchmark Implementation of Two Dynamic Methodologies for the Reliability Modeling of Digital Instrumentation and Control Systems," NUREG /CR-6985, United States Nuclear Regulatory Commission, Washington D.C. (2009).
36 O. Doguc and J.E. Ramirez-Marquez, "A generic method for estimating system reliability using Bayesian networks," Reliability Engineering & System Safety 94(2009) 542-550.   DOI
37 P. Bucci, J. Kirschenbaum, L.A. Mangan, T. Aldemir, C. Smith and T. Wood, "Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability," Reliability Engineering and System Safety 93 (2008) 1616-1627.   DOI
38 P.E. Labeau, C. Smidts and S. Swaminathan, "Dynamic reliability: towards an integrated platform for probabilistic risk assessment," Reliability Engineering and System Safety 68 (2000) 219-254.   DOI
39 J. Pearl, Probabilistic reasoning in intelligent systems: Networks of plausible inference, Morgan Kaufmann Publishers, San Mateo, CA (1988).
40 D.L. Kelly and C.L. Smith, "Bayesian inference in probabilistic risk assessment - The current state of the art," Reliability Engineering & System Safety 94(2009) 628-643.   DOI
41 T. Aldemir, D.W. Miller, M.P. Stovsky, J. Kirschenbaum, P. Bucci, A.W. Fentiman and L.T. Mangan, "Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments," NUREG/CR-6901, United States Nuclear Regulatory Commission, Washington D.C. (2006).
42 M. Bouissou, "Boolean logic driven Markov processes: A powerful new formalism for specifying and solving very large Markov models," Proc. 6th International Conference on Probabilistic Safety Assessment and Management, San Juan, Puerto Rico, USA, June 23-28, 2002.
43 N. Thuy and G. Deleuze, "A Mixed Approach to Assess the Impact of I&C in PSA," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
44 T.-L. Chu, M. Yue, G. Martinez-Guridi and J. Lehner, "A Generic Failure Modes and Effects Analysis (FMEA) Approach for Reliability Modeling of Digital Instrumentation and Control (I&C) Systems," Proc. 10th International Probabilistic Safety Assessment & Management Conference, PSAM 10, Seattle, Washington, June 7-11, 2010, paper 82.
45 "IEEE Guide for General Principles of Reliability Analysis of Nuclear Power Generating Station Safety Systems," IEEE Std. 352, Institute of Electrical and Electronics Engineers, Inc., New York (1987).
46 S.M. Cetiner, K. Korsah and M.D. Muhlheim, "Survey on Failure Modes and Failure Mechanisms in Digital Components and Systems," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
47 P. Haapanen and A. Helminen, "Failure mode and effects analysis of software-based automation systems," STUKYTO-TR 190, STUK, Helsinki (2002).
48 C.J. Garrett, S.B. Guarro and G.E. Apostolakis, "The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems," IEEE Trans. on Systems, Man and Cybernetics 25 (1995) 824-840.   DOI
49 C.J. Garrett and G.E. Apostolakis, "Automated hazard analysis of digital control systems," Reliability Engineering and System Safety, 77(2002) 1-17.   DOI
50 M. Yau, S. Guarro and G. Apostolakis, "Demonstration of the Dynamic Flowgraph Methodology using the Titan II Space Launch Vehicle Digital Flight Control System," Reliability Engineering and System Safety 49 (1995) 335-353.   DOI
51 R. Kisner, J. Mullens, T. Wilson, R. Wood, K. Korsah, A. Qualls, M. Muhlheim, D. Holcomb and A. Loebl, "Safety and Non-Safety Communications and Interactions in International Nuclear Power Plants, Guidelines for the Design of Highly Integrated Control Rooms," ORNL/ NRC/LTR-07/05, Oak Ridge Laboratory, Oak Ridge (2007).
52 H.G. Kang and S.-C. Jang, "Issues And Research Status For Static Risk Modeling Of Digitalized Nuclear Power Plants," Proc. 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009.
53 "Instrumentation and Controls in Nuclear Power Plants: An Emerging Technologies Update," NUREG/CR-6992, United States Nuclear Regulatory Commission, Washington D.C. (2009).
54 "Nuclear power plants. Instrumentation and control important to safety. Classification of instrumentation and control functions," IEC 61226, International Electrotechnical Commission, Geneva, ed. 3.0 (2009).
55 S. Authen, E. Wallgren and S. Eriksson, "Development of the Ringhals 1 PSA with Regard to the Implementation of a Digital Reactor Protection System," Proc. 10th International Probabilistic Safety Assessment & Management Conference, PSAM 10, Seattle, Washington, June 7-11, 2010, paper 213.
56 L. Shi, R. Enzinna, S. Yang and S. Blodgett, "Probabilistic Risk Assessments of Digital I&C in Nuclear Power Plant," Proc. 10th International Probabilistic Safety Assessment & Management Conference, PSAM 10, Seattle, Washington, June 7-11, 2010, paper 173.
57 T.L. Chu, M. Yue, G. Martinez-Guridi, K. Mernick, J. Lehner and A. Kuritzky, "Modeling a Digital Feedwater Control System Using Traditional Probabilistic Risk Assessment Methods," NUREG/CR-6997 BNL-NUREG-90315-2009, United States Nuclear Regulatory Commission, Washington D.C. (2009).
58 D. Blanchard and R. Torok, "Risk Insights Associated with Digital Upgrades," Proc. 10th International Probabilistic Safety Assessment & Management Conference, PSAM 10, Seattle, Washington, June 7-11, 2010, paper 453
59 T.L. Chu, G. Martinez-Guridi, M. Yue, J. Lehner and P. Samanta, "Traditional Probabilistic Risk Assessment Methods for Digital Systems", NUREG/CR-6962, United States Nuclear Regulatory Commission, Washington D.C. (2008).
60 "Recommendations on assessing digital system reliability in probabilistic risk assessments of nuclear power plants," NEA/CSNI/R(2009)18, OECD/NEA/CSNI, Paris (2009).
61 P. Haapanen, A. Helminen, U. Pulkkinen, "Quantitative reliability assessment in the safety case of computer-based automation systems," STUK-YTO-TR 202, STUK, Helsinki (2004).
62 "Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants," IAEA Nuclear Energy Series No. NP-T-3.12, International Atomic Energy Agency, Vienna (2011).