Application of algebraic specification to verify the design of safety logic in nuclear power plants

Akira Fukumoto*, Toshifumi Hayashi, Akihiko Ohsuga, Shinichi Honiden, Nobuyuki Mori

*この研究の対応する著者

研究成果: Article査読

抄録

A formal verification method using an algebraic specification technique is proposed, and its effectiveness is studied. A computerized automatic verification system, which utilizes an algebraic specification to describe system requirements and to prove an inductive theorem based on a term-rewriting technique for verification, is built and evaluated through experimentally verifying the logic design of a digital reactor protection system in boiling water reactors. The results show that the proposed method can mathematically correctly verify the logic design in a limited time, thereby improving accuracy and reducing person-hours for the verification.

本文言語English
ページ(範囲)255-263
ページ数9
ジャーナルNuclear Technology
124
3
出版ステータスPublished - 1998 12 1
外部発表はい

ASJC Scopus subject areas

  • 核物理学および高エネルギー物理学
  • 原子力エネルギーおよび原子力工学
  • 凝縮系物理学

フィンガープリント

「Application of algebraic specification to verify the design of safety logic in nuclear power plants」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル