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

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.

[1]  Marco Bozzano,et al.  The FSAP/NuSMV-SA Safety Analysis Platform , 2007, International Journal on Software Tools for Technology Transfer.

[2]  Curtis Smith,et al.  Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability , 2008, Reliab. Eng. Syst. Saf..

[3]  Sergio B. Guarro.  Risk-Informed Safety Assurance and Probabilistic Assessment of Mission-Critical Software-Intensive Systems , 2010 .

[4]  Curtis Smith,et al.  Bayesian inference in probabilistic risk assessment - The current state of the art , 2009, Reliab. Eng. Syst. Saf..

[5]  George Apostolakis,et al.  Demonstration of the Dynamic Flowgraph Methodology using the Titan II Space Launch Vehicle Digital Flight Control System , 1993 .

[6]  Norman F. Schneidewind,et al.  Applying reliability models to the space shuttle , 1992, IEEE Software.

[7]  U Pulkkinen,et al.  QUANTITATIVE RELIABILITY ASSESSMENT IN THE SAFETY CASE OF COMPUTER-BASED AUTOMATION SYSTEMS , 2004 .

[8]  Frank Ortmeier,et al.  Safety analysis of the height control system for the Elbtunnel , 2002, Reliab. Eng. Syst. Saf..

[9]  Jose Emmanuel Ramirez-Marquez,et al.  A generic method for estimating system reliability using Bayesian networks , 2009, Reliab. Eng. Syst. Saf..

[10]  Pierre-Etienne Labeau,et al.  Dynamic reliability: towards an integrated platform for probabilistic risk assessment , 2000, Reliab. Eng. Syst. Saf..

[11]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[12]  A Helminen,et al.  Reliability assessment using Bayesian network : Case study on quantative estimation of a software-based motor protection relay , 2003 .

[13]  George E. Apostolakis,et al.  Automated hazard analysis of digital control systems , 2002, Reliab. Eng. Syst. Saf..

[14]  J. Holmberg,et al.  Guidelines for reliability analysis of digital systems in PSA context: Phase 1, Status Report , 2010 .

[15]  Atte Helminen,et al.  RELIABILITY ESTIMATION OF SAFETY-CRITICAL SOFTWARE-BASED SYSTEMS USING BAYESIAN NETWORKS , 2001 .

[16]  Marta Z. Kwiatkowska,et al.  PRISM: probabilistic model checking for performance and reliability analysis , 2009, PERV.

[17]  George E. Apostolakis,et al.  The dynamic flowgraph methodology for assessing the dependability of embedded software systems , 1995, IEEE Trans. Syst. Man Cybern..

[18]  P Haapanen,et al.  Failure mode and effects analysis of software-based automation systems , 2002 .

[19]  Gun-Cheol Lee,et al.  EFFECT OF HEAT CURING METHODS ON THE TEMPERATURE HISTORY AND STRENGTH DEVELOPMENT OF SLAB CONCRETE FOR NUCLEAR POWER PLANT STRUCTURES IN COLD CLIMATES , 2012 .

[20]  Michael David Muhlheim,et al.  Survey on Failure Modes and Failure Mechanisms in Digital Components and Systems , 2009 .

[21]  Meng Yue,et al.  REVIEW OF QUANTITATIVE SOFTWARE RELIABILITY METHODS , 2010 .

[22]  C S Smidts,et al.  Preliminary Validation of a Methodology for Assessing Software Quality , 2004 .

[23]  J Lehner,et al.  Workshop on Philosophical Basis for Incorporating Software Failures in a Probabilistic Risk Assessment , 2009 .