Browse > Article

The Software Verification and Validation Tasks for a Safety Critical System in Nuclear Power Plants  

Cheon Se Woo (Korea Atomic Energy Research Institute)
Cha Kyung Ho (Korea Atomic Energy Research Institute)
Kwon Kee Choon (Korea Atomic Energy Research Institute)
Publication Information
International Journal of Safety / v.3, no.1, 2004 , pp. 38-46 More about this Journal
Abstract
This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.
Keywords
nuclear power plants; safety critical systems; software; verification and validation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Proceedings of DigitaI Instrumentation Upgrades Workshop, Embedded Meeting of NPIC & HMIT 2004, Columbus, Ohio, Sept. 19, 2004
2 IEEE Std 1028, Standard for Software Reviews and Audits, 1988
3 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
4 McCabe Test, http://www.mccabe.com/
5 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
6 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
7 IEEE Std 1012, Standard for Software Verification and Vatidation Plans, 1998
8 The Statemate ModelChecker and Statemate Model Certifier, http://www.ilogix.com/
9 M.E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development,' IBM Systems Journal, 15, No. 3, 1976
10 BEEE Std 7-4.3.2, IEEE Standard for Digitat Comput-ers in Safety Systems of Nuctear Power Generating Stations, 1993
11 IEC 60880, Software for computers in the safety sys-tems of nuclear power stations, IEC, 1986
12 Cantata++, http://www.iplbath.com/
13 BTP HICB-14, Branch Technical Position HICB-14 Guidance on Software Reviews for DigitaI Computer-Based Instrumentation and Controt Systems, USNRC, 1997
14 IEEE Std 1008, Standard for Software Unit Testing, 1987
15 IEEE Std 829, Standard for Software Test Documen-tation, 1983
16 Statemate MAGNUM, http://www.ilogix.com/
17 NUREG-0800, Standard Review Ptan, Chapter 7, USNRC, 1997
18 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
19 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
20 Reg. Guide 1.170, Software Test Documentation for Digitat Computer Software Used in Safety Systems of Nuctear Power Ptants. USNRC. 1997
21 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