Software qualification strategy for the digital safety systems in KNICS

Transactions of the American Nuclear Society

Volumn 95, Issue , 2006, Pages 109-110

  Kwon, Kee Choon ^a   Lee, Jang Soo ^a   Cheon, Se Woo ^a  

^a Korea Atomic Energy Research Institute   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33845532675     PISSN: 0003018X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. J. H. Park, D. Y. Lee, and C. H. Kim, "Development of KNICS RPS prototype," ISOFIC 2005, Tongyeong, Korea, (2005).
2. NUREG-0800, "Standard Review Plan for the Review of Safety Analysis Reports for Nuclear Power Plants, Chapter 7," (1997).
3. IEEE Std. 7-4.3.2 "IEEE Standard for Digital Computers in Safety Systems of Nuclear Power Generating Stations," (2003).
4. J. S. Lee, K. C. Kwon, and S. D. Cha, "Software Safety Analysis of Digital Protection System Requirements Using a Qualitative Formal Method," Nuclear Technology Vol. 147, (2004).
5. S. W. CHEON, K. C. KWON, C. YOUN, H. C. HAN, and D. H. KIM, "Development of a Software Configuration Management System for Software Life Cycle Management," NPIC&HMIT 2004, Columbus, Ohio (2004).