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) |
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 |