AN OVERVIEW OF RISK QUANTIFICATION ISSUES FOR DIGITALIZED NUCLEAR POWER PLANTS USING A STATIC FAULT TREE

Risk caused by safety-critical instrumentation and control (I&C) systems considerably affects overall plant risk. As digitalization of safety-critical systems in nuclear power plants progresses, a risk model of a digitalized safety system is required and must be included in a plant safety model in order to assess this risk effect on the plant. Unique features of a digital system cause some challenges in risk modeling. This article aims at providing an overview of the issues related to the development of a static fault-tree-based risk model. We categorize the complicated issues of digital system probabilistic risk assessment (PRA) into four groups based on their characteristics: hardware module issues, software issues, system issues, and safety function issues. Quantification of the effect of these issues dominates the quality of a developed risk model. Recent research activities for addressing various issues, such as the modeling framework of a software-based system, the software failure probability and the fault coverage of a self monitoring mechanism, are discussed. Although these issues are interrelated and affect each other, the categorized and systematic approach suggested here will provide a proper insight for analyzing risk from a digital system.

[1]  John A. Forester,et al.  Expert elicitation approach for performing ATHEANA quantification , 2004, Reliab. Eng. Syst. Saf..

[2]  Seung-Soo Kim,et al.  COMPARISON BETWEEN EXPERIMENTALLY MEASURED AND THERMODYNAMICALLY CALCULATED SOLUBILITIES OF UO2AND THO2IN KURT GROUND WATER , 2009 .

[3]  Seung-Cheol Jang,et al.  ATWS Frequency Quantification Focusing on Digital I&C Failures , 2004 .

[4]  Lixuan Lu,et al.  Probabilistic Safety Assessment for Instrumentation and Control Systems in Nuclear Power Plants: An Overview , 2004 .

[5]  Barry W. Johnson,et al.  Dependability metrics to assess safety-critical systems , 2005, IEEE Transactions on Reliability.

[6]  Man Cheol Kim,et al.  POSSIBILITIES AND LIMITATIONS OF APPLYING SOFTWARE RELIABILITY GROWTH MODELS TO SAFETY- CRITICAL SOFTWARE , 2007 .

[7]  David Lorge Parnas,et al.  Assessment of safety-critical software in nuclear power plants , 1991 .

[8]  Hyun Gook Kang,et al.  An analysis of safety-critical digital systems for risk-informed design , 2002, Reliab. Eng. Syst. Saf..

[9]  Poong Hyun Seong Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems , 2008 .

[10]  Bev Littlewood,et al.  The use of computers in safety-critical applications , 1998 .

[11]  H. S. Eom,et al.  Survey of Bayesian belief nets for the quantitative reliability assessment of safety critical software used in nuclear power plants , 2000 .

[12]  Joon Lyou,et al.  A Safety Assessment Methodology for a Digital Reactor Protection System , 2006 .

[13]  A. Tversky,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[14]  Barry W. Johnson,et al.  Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures , 2002, IEEE Trans. Computers.

[15]  Poong Hyun Seong,et al.  Evaluation of error detection coverage and fault-tolerance of digital plant protection system in nuclear power plants , 2006 .

[16]  Martin Neil,et al.  Using Bayesian networks to predict software defects and reliability , 2008 .

[17]  David Wright,et al.  Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..

[18]  Hyun Gook Kang,et al.  Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant , 2006, Reliab. Eng. Syst. Saf..

[19]  Dong-Hak Kook,et al.  DESIGN AND CONSTRUCTION OF AN ADVANCED SPENT FUEL CONDITIONING PROCESS FACILITY (ACPF) , 2009 .

[20]  Donald D Dudenhoeffer,et al.  Technology Roadmap Instrumentation, Control, and Human-Machine Interface to Support DOE Advanced Nuclear Energy Programs , 2007 .

[21]  B. A. Gran,et al.  THE USE OF BAYESIAN BELIEF NETS IN SAFETY ASSESSMENT OF SOFTWARE BASED SYSTEMS , 2000 .

[22]  Laura Uusitalo,et al.  Advantages and challenges of Bayesian networks in environmental modelling , 2007 .

[23]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[24]  Hyun Kook Shin,et al.  Development of an Advanced Digital Reactor Protection System Using Diverse Dual Processors to Prevent Common-Mode Failure , 2003 .