Abstract

This paper introduces the software life-cycle based 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 the programmable logic controller (PLQ for safety-critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of the safety-critical software based digital protection system 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 a software life-cycle management. A number of software V&V tools have been adopted or developed to support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, the requirement traceability analysis, a formal specification and verification, a life-cycle based software testing, a software safety analysis, and a software configuration management.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.