American Nuclear Society
Home

Home / Store / Journals / Electronic Articles / Nuclear Technology / Volume 102 / Number 1 / Pages 90-99

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 / Pages 90-99

April 1993

Format:

Price:$30.00
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.
advertisement