Logic Verification System for Power Plant Sequence Diagrams.

DOI

Search this article

Description

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.

Journal

Keywords

Details 詳細情報について

  • CRID
    1390282679071522944
  • NII Article ID
    130000825588
  • DOI
    10.3327/jnst.31.102
  • ISSN
    18811248
    00223131
  • Text Lang
    en
  • Data Source
    • JaLC
    • Crossref
    • CiNii Articles
  • Abstract License Flag
    Disallowed

Report a problem

Back to top