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

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… (More)