International Journal of Safety

The Korean Society of Safety (한국안전학회)
권호 표지

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

  • Published : 2004.06.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. Proceedings of DigitaI Instrumentation Upgrades Workshop, Embedded Meeting of NPIC & HMIT 2004, Columbus, Ohio, Sept. 19, 2004
  2. NUREG-0800, Standard Review Ptan, Chapter 7, USNRC, 1997
  3. BTP HICB-14, Branch Technical Position HICB-14 Guidance on Software Reviews for DigitaI Computer-Based Instrumentation and Controt Systems, USNRC, 1997
  4. BEEE Std 7-4.3.2, IEEE Standard for Digitat Comput-ers in Safety Systems of Nuctear Power Generating Stations, 1993
  5. IEEE Std 1012, Standard for Software Verification and Vatidation Plans, 1998
  6. IEEE Std 1028, Standard for Software Reviews and Audits, 1988
  7. IEC 60880, Software for computers in the safety sys-tems of nuclear power stations, IEC, 1986
  8. 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
  9. Reg. Guide 1.170, Software Test Documentation for Digitat Computer Software Used in Safety Systems of Nuctear Power Ptants. USNRC. 1997
  10. IEEE Std 1008, Standard for Software Unit Testing, 1987
  11. IEEE Std 829, Standard for Software Test Documen-tation, 1983
  12. 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
  13. Statemate MAGNUM, http://www.ilogix.com/
  14. The Statemate ModelChecker and Statemate Model Certifier, http://www.ilogix.com/
  15. Cantata++, http://www.iplbath.com/
  16. McCabe Test, http://www.mccabe.com/
  17. 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
  18. M.E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development,' IBM Systems Journal, 15, No. 3, 1976
  19. 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
  20. 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
  21. 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