DESIGN VERIFICATION FOR CONTROL LOGIC IN NUCLEAR POWER PLANT

The control function for process, HVAC and electrical systems in nuclear power plant (NPP) are represented by control logic diagram. To develop Distributed Control System (DCS), the designer and supplier should complete the activities of control logic configuration, testing and verification which are based on control logic diagram. Design Verification is an effective method to ensure the correctness of control logic design. This paper represents an overview of the procedure for control logic design verification in NPP I&C system, as well as the common function of platform/system to implement design verification. It focuses on the design verification for component control logic, to confirm the design outputs meet the inputs - the control requirements of plant's systems. Finally, a conclusion about the design verification system as well as future scenarios is given.