By Topic

The software verification and validation process for a PLC-based engineered safety features-component control system in nuclear power plants

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Cheon, S.W. ; Korea Atomic Energy Res. Inst., Daejeon, South Korea ; Lee, J.S. ; Kwon, K.C. ; Kim, D.H.
more authors

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 (called POSAFE-Q) 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.

Published in:

Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE  (Volume:1 )

Date of Conference:

2-6 Nov. 2004