Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE

  • Published : 2008.08.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

Keywords

References

  1. J. H. Park, D. Y. Lee, C. H. Kim, 'Development of KNICS RPS Prototype', Proceedings of ISOFIC 2005, Session 6, pp.160-161, Tongyeong, Korea, Nov. 1-4, 2005
  2. NUREG-0800, Rev.04, 'Standard Review Plan: BTP HICB-14, Guidance on Software Reviews for Digital Computer-Based Instrumentation and Control Systems,' U.S. Nuclear Regulatory Commission, 1997
  3. IEEE Std-1228, 'Software Safety Plan', Institute of Electrical and Electronic Engineers, 1994
  4. G. Y. Park, J. S. Lee, S. W. Cheon, K. C. Kwon, E. Jee, and K. Y. Koh, 'Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System', Lecture Notes in Computer Science, Vol.4680, pp.148-161, 2007
  5. K. C. Kwon and G. Y. Park, 'Formal Verification and Validation of the Safety-Critical Software in Digital Reactor Protection System', NPIC & HMIT 2006, pp.1371-1376, Nov. 12-16, Albuquerque, NM, USA, 2006
  6. M. E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development', IBM System Journal, Vol.15, No.3, pp.182-211, 1976 https://doi.org/10.1147/sj.153.0182
  7. M. R. Lyu, Handbook of Software Reliability Engineering, McGraw-Hill, pp.29, 1996
  8. J. Yoo and S. Cha, 'A Formal Software Requirements Specification Method for Digital Plants Protection Systems', CS/TR 2003-191, Department of Computer Science, KAIST, 2003
  9. N. G. Leveson, S. Cha, and T. J. Shimeall, 'Safety Verification of Ada Programs using Software Fault Trees,' IEEE Software, pp.48-59, July 1991
  10. W. E. Vesely, F. F. Goldberg, N. H. Reberts, and D. F. Haasl, Fault Tree Handbook, NUREG-C492, U. S. Nuclear Regulatory Commission, 1981
  11. Y. Oh, J. Yoo, S. Cha, and H. S. Son, 'Software Safety Analysis of Function Block Diagrams using Fault Trees', Reliability Engineering and System Safety, Vol.88, pp.215-228, 2005 https://doi.org/10.1016/j.ress.2004.07.019
  12. Y. Oh, Safety Analysis of Function Block Diagrams using Fault Trees, M.S. Thesis, EECS Department, Korea Advanced Institute of Science and Technology, Korea, 2004

Cited by

  1. Formal Modeling and Verification of Safety-Critical Software vol.26, pp.3, 2009, https://doi.org/10.1109/MS.2009.67
  2. Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence vol.6, pp.2169-3536, 2018, https://doi.org/10.1109/ACCESS.2017.2765698