American Nuclear Society

Home / Store / Journals / Electronic Articles / Nuclear Technology / Volume 102 / Number 1

Development of a Connectivity Verification System for Sequence Diagrams of Power Plants

Mitsuko Fukuda, Naoyuki Yamada, Ken’ichi Kan, Mitsugu Utsunomiya

Nuclear Technology

Volume 102 / Number 1 / April 1993 / Pages 90-99


Member Price:$27.00
Member Savings:$3.00

A design verification system for sequence diagrams ofpower plants has been developed. Its main function is to verify component connectivities in power plant control systems. The verification is achieved through both a symbolic comparison of sequence diagrams against their corresponding one-line diagrams and by reference to design knowledge. The verification of actual nuclear power plant sequence diagrams confirms the system’s practical effectiveness.

Questions or comments about the site? Contact the ANS Webmaster.