Introduction of VDM and its Application to Railway Signalling(<Special Survey>Reliability and Safety of Information System)

DOI Web Site 3 References

Bibliographic Information

Other Title
  • VDMの紹介と鉄道信号への適用例(<特集>情報システムの信頼性・安全性)
  • VDMの紹介と鉄道信号への適用例
  • VDM ノ ショウカイ ト テツドウ シンゴウ エ ノ テキヨウレイ

Search this article

Description

近年ソフトウェアの信頼性向上の手法としてフォーマルメソッドが着目されているが,本解説ではフォーマルメソッドの1つであるVDMについて概要を説明するとともに鉄道信号への適用例として,駅構内の転てつ器や信号機を制御する連動装置をVDMの仕様記述言語により記述し,ツールの支援機能を使ってプロトタイピングを行った例を示す.

Journal

References(3)*help

See more

Details 詳細情報について

Report a problem

Back to top