References
- Proceedings of DigitaI Instrumentation Upgrades Workshop, Embedded Meeting of NPIC & HMIT 2004, Columbus, Ohio, Sept. 19, 2004
- NUREG-0800, Standard Review Ptan, Chapter 7, USNRC, 1997
- BTP HICB-14, Branch Technical Position HICB-14 Guidance on Software Reviews for DigitaI Computer-Based Instrumentation and Controt Systems, USNRC, 1997
- BEEE Std 7-4.3.2, IEEE Standard for Digitat Comput-ers in Safety Systems of Nuctear Power Generating Stations, 1993
- IEEE Std 1012, Standard for Software Verification and Vatidation Plans, 1998
- IEEE Std 1028, Standard for Software Reviews and Audits, 1988
- IEC 60880, Software for computers in the safety sys-tems of nuclear power stations, IEC, 1986
- S. T. Kim, S. J. Lee, H. W. Chung, D. K. Chung and C. H. Cho, 'The Design and Fabrication of Engineered Safety Features-Component Control System,' The 3rd KNS-KIEE Joint Workshop on I&C Technology, Changwon, Korea, Nov. 14, 2003
- Reg. Guide 1.170, Software Test Documentation for Digitat Computer Software Used in Safety Systems of Nuctear Power Ptants. USNRC. 1997
- IEEE Std 1008, Standard for Software Unit Testing, 1987
- IEEE Std 829, Standard for Software Test Documen-tation, 1983
- Y. J. You, M. C. Kim, and P. H. Seong, 'A Methodology for Improving the SIS-RT in Analyzing the Traceabil-ity of the Documents (in Korean),' The Korean Nuclear Society 2002 Sphng Meeting, Gwangju, Korea, May 2002
- Statemate MAGNUM, http://www.ilogix.com/
- The Statemate ModelChecker and Statemate Model Certifier, http://www.ilogix.com/
- Cantata++, http://www.iplbath.com/
- McCabe Test, http://www.mccabe.com/
- 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 Manage-ment,' in Proceedings of the NPIC&HMIT 2004, Colum-bus, Ohio, Sept. 19-22, 2004
- M.E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development,' IBM Systems Journal, 15, No. 3, 1976
- S. W. Cheon, K. H. Cha, J. Y. Kim, J. S. Lee, H. S. Sohn, Y, J. Lee and K. C. Kwon, 'Software Life-Cycle V&V Tasks for the KNICS Plant Protection System Prototype.' 4th ANS Topical Meeting on Nuclear Plant Instrumentation, Controls and Human-Machine Inter- face Technologies (NPIC & HMIT 2004), Columbus,Ohio, Sept. 19-22, 2004
- K. H. Cha, D. Y. Lee, J. C. Park and K. C. Kwon,'The KNICS Approach for Systemadc V&V of SafetySoftware,' 14th Pacific Basin Nuclear Conference (PBNC),Honolulu, Hawaii, March 21-25, 2004
- K. C. Kwon, J. S. Lee, J. Y. Kim, H. S. Sohn, Y, J. Lee, K. H. Cha and S. W. Cheon, 'Verification and Validation Process for the Safety Software in KNICS,' The Enlarged Halden Program Group Meeting, Sand-efjord, Norway, May 9-14, 2004