Design Verification for Control Logic in Nuclear Power Plant

The control function for process, heating, ventilation, and air conditioning, 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 a system, which is capable of implementing control logic design verification automatically for NPP instrumentation and control (I&C) system, as well as an overview of the procedure and some examples by using this system. With the design data (including control requirements and control logic diagrams in computer-readable format) and simulation technology, this system automatically performs design verification based on different rules and confirms the design outputs meet the inputs—the control requirements of plant's systems. Finally, a conclusion about the design verification system and future scenarios is given.