無線列車制御システム評価における形式化技術の適用

摘要

無線ベース列車制御システムは，新しいアーキテク チャが導入されるため，各種の性質について，適切にモ デル化し，事前に十分な検証を行っておくことが求めら れている。しかし，それには妥当性が検討しやすく，厳 密な検証ができるモデル化手法が必要となる。