鉄道信号システムへのフォーマルメソッドの適用

摘要

数学や論理学的体系を持った仕様記述言語を用いて形式的に仕様を記述し、その仕様に対して形式的にrn検証を行うことによりシステムの品質を上げる技術であるフォーマルメソッドを鉄道信号システムに適用rnする際のメリットおよび課題を実例を交えて紹介する。