Logic Verification System for Power Plant Sequence Diagrams.

DOI

この論文をさがす

説明

A logic verification system for sequence diagrams of power plants has been developed. The system's main function is to verify correctness of the logic realized by sequence diagrams for power plant control systems. The verification is based on a symbolic comparison of the logic of the sequence diagrams with the logic of the corresponding IBDs (Interlock Block. Diagrams) in combination with reference to design knowledge. The developed system points out the sub-circuit which is responsible for any existing mismatches between the IBD logic and the logic realized by the sequence diagrams. Applications to the verification of actual sequence diagrams of power plants confirmed that the developed system is practical and effective.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390282679071522944
  • NII論文ID
    130000825588
  • DOI
    10.3327/jnst.31.102
  • ISSN
    18811248
    00223131
  • 本文言語コード
    en
  • データソース種別
    • JaLC
    • Crossref
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ