DOI QR코드

DOI QR Code

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

  • Received : 2012.05.05
  • Published : 2012.06.25

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

References

  1. "Recommendations on assessing digital system reliability in probabilistic risk assessments of nuclear power plants," NEA/CSNI/R(2009)18, OECD/NEA/CSNI, Paris (2009).
  2. 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).
  3. 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).
  4. "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).
  5. 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).
  6. "Instrumentation and Controls in Nuclear Power Plants: An Emerging Technologies Update," NUREG/CR-6992, United States Nuclear Regulatory Commission, Washington D.C. (2009).
  7. "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).
  8. 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.
  9. 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.
  10. 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.
  11. 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).
  12. 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
  13. 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.
  14. "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).
  15. 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.
  16. P. Haapanen and A. Helminen, "Failure mode and effects analysis of software-based automation systems," STUKYTO-TR 190, STUK, Helsinki (2002).
  17. 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.
  18. 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. https://doi.org/10.1109/21.376495
  19. C.J. Garrett and G.E. Apostolakis, "Automated hazard analysis of digital control systems," Reliability Engineering and System Safety, 77(2002) 1-17. https://doi.org/10.1016/S0951-8320(02)00007-8
  20. 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. https://doi.org/10.1016/0951-8320(95)00050-C
  21. 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).
  22. 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. https://doi.org/10.1016/j.ress.2008.01.008
  23. 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. https://doi.org/10.1016/S0951-8320(00)00017-X
  24. J. Pearl, Probabilistic reasoning in intelligent systems: Networks of plausible inference, Morgan Kaufmann Publishers, San Mateo, CA (1988).
  25. 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. https://doi.org/10.1016/j.ress.2008.06.009
  26. 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. https://doi.org/10.1016/j.ress.2008.07.002
  27. 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).
  28. 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.
  29. 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.
  30. N.F. Schneidewind and T.W. Keller, "Applying Reliability Models to the Space Shuttle," IEEE Software, 28-33, (1992).
  31. E.M. Clarke, Jr., O. Grumberg and D.A. Peled, Model Checking, The MIT Press, Massachusetts Institute of technology, Cambridge, MA (2000).
  32. 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.
  33. 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.
  34. M. Bozzano and A. Villafiorita, "The FSAP/NuSMV-SA Safety Analysis Platform," International Journal on Software Tools for Technology Transfer, 9(2007) 5-24. https://doi.org/10.1007/s10009-006-0001-2
  35. 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.
  36. 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. https://doi.org/10.1145/1530873.1530882
  37. 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).
  38. 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).
  39. 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).
  40. C. Smidts and M. Li, "Preliminary Validation of a Methodology for Assessing Software Quality," NUREG/CR-6848, U.S.NRC, Washington D.C. (2004).
  41. T.-L. Chu, M. Yue, G. Martinez-Guridi and J. Lehner, "Review of Quantitative Software Reliability Methods," BNL-94047-2010, Brookhaven National Laboratory (2010).
  42. A. Helminen, "Reliability estimation of safety-critical software-based systems using Bayesian networks," STUKYTO-TR 178, STUK, Helsinki (2001).
  43. 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).
  44. 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.
  45. 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
  46. 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).
  47. 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).
  48. 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.
  49. "Failure Rates of Components," SN 29500. Siemens AG, CT SR SI, Otto-Hahn-Ring 6, D-81739 Munich, Germany.
  50. "Reliability Prediction of Electronic Equipment, Notice 2" MIL-HDBK-217F(2), US Department of Defense, Washington D.C. (1995).
  51. "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).
  52. 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).
  53. 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).
  54. "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).
  55. "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).
  56. 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).
  57. "Function Safety of Electrical/Electronic/Programmable Safety-Related Systems, Part 1: General requirements," IEC 61508-1, International Electrotechnical Commission, Geneva (2010).
  58. "Estimating Failure Rates in Highly Reliable Digital Systems." EPRI TR-1021077, Electric Power Research Institute, Inc., Palo Alto, CA (2010). Limited distribution.
  59. 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).
  60. 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.
  61. 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).
  62. J. Sedlak, "Software critical for safety in reliability models," Proc. European Safety and Reliability (ESREL) Conference, ESREL 2009, Prague, September 7-10, 2009.

Cited by

  1. Risk Informed Design of I&C Architecture for Research Reactors vol.62, pp.1, 2015, https://doi.org/10.1109/TNS.2014.2375361
  2. Modeling and Analysis of the Reliability of Digital Networked Control Systems Considering Networked Degradations vol.14, pp.3, 2017, https://doi.org/10.1109/TASE.2015.2443132
  3. Co-simulation design and experimental study on the hydraulic–pneumatic-powered driving system of main steam and feed water isolation valves for CAP1400 vol.9, pp.8, 2017, https://doi.org/10.1177/1687814017720078
  4. The optimization methodology research on the motion performances of the driving device of main steam and feed water isolation valves pp.2041-2983, 2017, https://doi.org/10.1177/0954406217698722