Home / Store / Journals / Electronic Articles / Nuclear Technology / Volume 102 / Number 1
Mitsuko Fukuda, Naoyuki Yamada, Ken’ichi Kan, Mitsugu Utsunomiya
Volume 102 / Number 1 / April 1993 / Pages 90-99
Format:electronic copy (download)
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.
Your cart is empty.
Home|Invoice Payment|Nuclear Links