Research Papers

Design Verification for Control Logic in Nuclear Power Plant

[+] Author and Article Information
Hui Li

Shanghai Nuclear Engineering Research
and Design Institute co., ltd,
No. 29 Hongcao Road,
Shanghai 200233, China
e-mail: lih@snerdi.com.cn

Guangxin Zhang

Shanghai Nuclear Engineering Research
and Design Institute co., ltd,
No. 29 Hongcao Road,
Shanghai 200233, China
e-mail: zhanggx@snerdi.com.cn

Manuscript received October 27, 2017; final manuscript received May 16, 2018; published online September 10, 2018. Assoc. Editor: John F. P. de Grosbois.

ASME J of Nuclear Rad Sci 4(4), 041013 (Sep 10, 2018) (6 pages) Paper No: NERS-17-1200; doi: 10.1115/1.4040369 History: Received October 27, 2017; Revised May 16, 2018

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.

Copyright © 2018 by ASME
Your Session has timed out. Please sign back in to continue.


ISA, 1976, “ Binary Logic Diagrams for Process Operations,” Instrument Society of America, Research Triangle Park, NC, Standard No. ANSI/ISA-S5.2-1976 (R1992). https://www.isa.org/store/isa-52-1976-r1992-binary-logic-diagrams-for-process-operations/115987
IAEA, 1999, “ Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control,” International Atomic Energy Agency, Vienna, Austria, Technical Reports Series No. 384. https://www-pub.iaea.org/books/iaeabooks/5718/Verification-and-Validation-of-Software-Related-to-Nuclear-Power-Plant-Instrumentation-and-Control
IEEE, 2005, “ Standard for Software Verification and Validation,” Institute of Electrical and Electronics Engineers, Piscataway, NJ, Standard No. IEEE 1012-2004.


Grahic Jump Location
Fig. 1

Design verification system architecture for control logic diagram

Grahic Jump Location
Fig. 2

Procedure of design verification for control logic diagram

Grahic Jump Location
Fig. 5

Ramp load increase—pressurizer pressure versus time

Grahic Jump Location
Fig. 6

Responding pressurizer pressure error and backup heater actuation versus time

Grahic Jump Location
Fig. 3

Control logic diagram for SRH-V001A

Grahic Jump Location
Fig. 4

Part of the data converted from diagram



Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In