Case Studies for System Reliability and Risk Assessment

  • Jong Gyun Choi
  • Hyun Gook Kang
  • Poong Hyun Seong
Part of the Springer Series in Reliability Engineering book series (RELIABILITY)


Case studies of countermeasures mentioned in Chapters 1 and 2 are presented. The safety of digital applications in NPPs has been discussed by the National Research Council [1]. Appropriate methods for assessing safety and reliability are keys to establishing the acceptability of digital instrumentation and control systems in NPPs.


Nuclear Power Plant Failure Probability System Reliability Digital System Fault Coverage 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    National Research Council (1997) Digital Instrumentation and Control Systems in Nuclear Power Plants, National Academy Press, Washington, D.CGoogle Scholar
  2. [2]
    Kang HG, Jang SC, and Lim HG (2004) ATWS Frequency Quantification Focusing on Digital I&C Failures, Journal of Korea Nuclear Society, Vol. 36Google Scholar
  3. [3]
    Laprie JC, Arlat J, Beounes C, and Kanoun K (1990) Definition and Analysis of Hardware-and-Software-Fault-Tolerant Architectures, IEEE Computer, Vol. 23, pp. 39–50Google Scholar
  4. [4]
    Yau M, Apostolakis G, and Guarro S (1998) The Use of Prime Implicants in Dependability Analysis of Software Controlled Systems, Reliability Engineering and System Safety, No. 62, pp. 23–32Google Scholar
  5. [5]
    Thaller K and Steininger A (2003) A Transient Online Memory Test for Simultaneous Detection of Functional Faults and Soft Errors in Memories, IEEE Trans. Reliability, Vol. 52, No. 4Google Scholar
  6. [6]
    Bolchini C (2003) A Software Methodolgy for Detecting Hardware Faults in VLIW Data Paths, IEEE Trans. Reliability, Vol. 52, No. 4Google Scholar
  7. [7]
    Nelson VP (1990) Fault-Tolerant Computing: Fundamental Concepts, IEEE Computer, Vol. 23, pp. 19–25Google Scholar
  8. [8]
    Fenton NE and Neil M (1999) A Critique of Software Defect Prediction Models, IEEE Trans. Software Engineering, Vol. 25, pp. 675–689CrossRefGoogle Scholar
  9. [9]
    Butler RW and Finelli GB (1993) The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Trans. Software Engineering, Vol. 19, pp. 3–12CrossRefGoogle Scholar
  10. [10]
    Choi JG and Seong PH (1998) Software Dependability Models Under Memory Faults with Application to a Digital system in Nuclear Power Plants, Reliability Engineering and System Safety, No. 59, pp. 321–329Google Scholar
  11. [11]
    Goswami KK and Iyer RK (1993) Simulation of Software Behavior Under Hardware Faults, Proc. on Fault-Tolerant Computing Systems, pp. 218–227Google Scholar
  12. [12]
    Laprie JC and Kanoun K (1992) X-ware Reliability and Availability Modeling, IEEE Trans. Software Eng., Vol. 18, No. 2, pp. 130–147CrossRefGoogle Scholar
  13. [13]
    Vemuri KK and Dugan JB (1999) Reliability Analysis of Complex Hardware-Software Systems, Proceedings of the Annual of Reliability and Maintainability, pp. 178–182Google Scholar
  14. [14]
    Doyle SA, Dugan JB and Patterson-Hine FA (1995) A Combinatorial Approach to Modeling Imperfect Coverage, IEEE Trans. Reliability, Vol. 44, No. 1, pp. 87–94CrossRefGoogle Scholar
  15. [15]
    Davio M, Deshamps JP, and Thayse A (1978) Discrete and Switching Functions, McGraw-HillGoogle Scholar
  16. [16]
    Janan X (1985) On multistate system analysis, IEEE Trans. Reliability, Vol. R-34, pp. 329–337CrossRefGoogle Scholar
  17. [17]
    Levetin G (2003) Reliability of Multi-State Systems with Two Failure-modes, IEEE Trans. Reliability, Vol. 52, No. 3Google Scholar
  18. [18]
    Levetin G (2004) A Universal Generating Function Approach for the Analysis of Multi-state Systems with Dependent Elements, Reliability Engineering and System Safety, Vol. 84, pp. 285–292CrossRefGoogle Scholar
  19. [19]
    Kaufman LM, Johnson BW (1999) Embedded Digital System Reliability and Safety Analysis, NUREG/GR-0020Google Scholar
  20. [20]
    Siewiorek DP (1990) Fault Tolerance in Commercial Computers, IEEE Computer, Vol. 23, pp. 26–37Google Scholar
  21. [21]
    Veeraraghavan M and Trivedi KS (1994) A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models, IEEE Trans. Computers, Vol. 43, No. 2, pp. 229–234CrossRefGoogle Scholar
  22. [22]
    Beizer B (1990) Software Testing Techniques, Van Notrand ReinholdGoogle Scholar
  23. [23]
    Kang HG and Jang SC (2006) Application of Condition-Based HRA Method for a Manual Actuation of the Safety Features in a Nuclear Power Plant, Reliability Engineering and System Science, Vol. 91, No. 6Google Scholar
  24. [24]
    American Nuclear Society (ANS) and the Institute of Electrical and Electronic Engineers (IEEE), 1983, PRA Procedures Guide: A Guide to the Performance of Probabilistic Risk Assessments for Nuclear Power Plants, NUREG/CR-2300, Vols. 1 and 2, U.S. Nuclear Regulatory Commission, Washington, D.CGoogle Scholar
  25. [25]
    Han SH et al. (1990) PC Workstation-Based Level 1 PRA Code Package KIRAP, Reliability Engineering and Systems Safety, Vol. 30Google Scholar
  26. [26]
    Kang HG and Sung T (2002) An Analysis of Safety-Critical Digital Systems for Risk-Informed Design, Reliability Engineering and Systems Safety, Volume 78, No. 3Google Scholar
  27. [27]
    McCormick NJ (1981) Reliability and Risk Analysis, Academic Press, Inc. New YorkGoogle Scholar
  28. [28]
    Rouvroye JL, Goble WM, Brombacher AC, and Spiker RE (1996) A Comparison Study of Qualitative and Quantitative Analysis Techniques for the Assessment of Safety in Industry, PSAM3/ESREL’96Google Scholar
  29. [29]
    NUREG/CR-4780 (1988) Procedures for Treating Common Cause Failures in Safety and Reliability StudiesGoogle Scholar
  30. [30]
    HSE (1998) The use of computers in safety-critical applications, London, HSE booksGoogle Scholar
  31. [31]
    Littlewood B and Strigini L (1993) Validation of Ultrahigh Dependability for Software Based Systems, Communications of ACM, Vol. 36, No. 11Google Scholar
  32. [32]
    Kang HG and Sung T (2001) A Quantitative Study on Important Factors of the PSA of Safety-Critical Digital Systems, Journal of Korea Nuclear Society, Vol. 33, No. 6Google Scholar
  33. [33]
    US Nuclear Regulatory Commission (USNRC) (2000) Technical Basis and Implementation Guidelines for a Technique for Human Event Analysis (ATHEANA), Washington, D.C., NUREG-1624 Rev. 1Google Scholar
  34. [34]
    Forester J, Bley D, Cooper S, Lois E, Siu N, Kolaczkowski A, and Wreathall J (2004) Expert Elicitation Approach for Performing ATHEANA Quantification, Reliability Engineering and System Safety, Vol. 83Google Scholar

Copyright information

© Springer London 2009

Authors and Affiliations

  • Jong Gyun Choi
    • 1
  • Hyun Gook Kang
    • 2
  • Poong Hyun Seong
    • 3
  1. 1.I&C/Human Factors DivisionKorea Atomic Energy Research InstituteDaejeonKorea, Republic of
  2. 2.Integrated Safety Assessment DivisionKorea Atomic Energy Research InstituteDaejeonKorea, Republic of
  3. 3.Department of Nuclear and Quantum EngineeringKorea Advanced Institute of Science and TechnologyDaejeonKorea, Republic of

Personalised recommendations