Fault tree analysis of KNICS RPS software

Nuclear Engineering and Technology

Volumn 40, Issue 5, 2008, Pages 397-408

  Park, Gee Yong ^a   Koh, Kwang Yong ^b   Jee, Eunkyoung ^b   Seong, Poong Hyun ^b   Kwon, Kee Choon ^a   Lee, Dae Hyung ^c  

^a Korea Atomic Energy Research Institute   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^c Doosan Heavy Industries and Construction Co Ltd   (South Korea)

Author keywords

Digital reactor protection system; Software fault tree analysis; Software safety analysis

Indexed keywords

EID: 51049115329     PISSN: 17385733     EISSN: None     Source Type: Journal    
DOI: 10.5516/NET.2008.40.5.397     Document Type: Article

References (12)

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.
7. M. R. Lyu, Handbook of Software Reliability Engineering, McGraw-Hill, pp.29, 1996.
8. J. Yon 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.
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.