Browse > Article
http://dx.doi.org/10.5516/NET.2008.40.5.397

FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE  

Park, Gee-Yong (Korea Atomic Energy Research Institute)
Koh, Kwang-Yong (Korea Advanced Institute of Science and Technology)
Jee, Eunk-Young (Korea Advanced Institute of Science and Technology)
Seong, Poong-Hyun (Korea Advanced Institute of Science and Technology)
Kwon, Kee-Choon (Korea Atomic Energy Research Institute)
Lee, Dae-Hyung (Doosan Heavy Industries & Construction)
Publication Information
Nuclear Engineering and Technology / v.40, no.5, 2008 , pp. 397-408 More about this Journal
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
Software Safety Analysis; Software Fault Tree Analysis; Digital Reactor Protection System;
Citations & Related Records

Times Cited By Web Of Science : 2  (Related Records In Web of Science)
Times Cited By SCOPUS : 4
연도 인용수 순위
1 W. E. Vesely, F. F. Goldberg, N. H. Reberts, and D. F. Haasl, Fault Tree Handbook, NUREG-C492, U. S. Nuclear Regulatory Commission, 1981
2 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   DOI   ScienceOn
3 M. E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development', IBM System Journal, Vol.15, No.3, pp.182-211, 1976   DOI   ScienceOn
4 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
5 M. R. Lyu, Handbook of Software Reliability Engineering, McGraw-Hill, pp.29, 1996
6 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
7 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
8 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
9 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
10 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
11 IEEE Std-1228, 'Software Safety Plan', Institute of Electrical and Electronic Engineers, 1994
12 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