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.


, “
Binary Logic Diagrams for Process Operations
,” Instrument Society of America, Research Triangle Park, NC, Standard No.
ANSI/ISA-S5.2-1976 (R1992)
, “
Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
,” International Atomic Energy Agency, Vienna, Austria, Technical Reports Series No.
, “
Standard for Software Verification and Validation
,” Institute of Electrical and Electronics Engineers, Piscataway, NJ, Standard No. IEEE 1012-2004.
You do not currently have access to this content.