-
- 寺田 夏樹
- 鉄道総合技術研究所
書誌事項
- タイトル別名
-
- Introduction of VDM and its Application to Railway Signalling(<Special Survey>Reliability and Safety of Information System)
- VDMの紹介と鉄道信号への適用例
- VDM ノ ショウカイ ト テツドウ シンゴウ エ ノ テキヨウレイ
この論文をさがす
説明
近年ソフトウェアの信頼性向上の手法としてフォーマルメソッドが着目されているが,本解説ではフォーマルメソッドの1つであるVDMについて概要を説明するとともに鉄道信号への適用例として,駅構内の転てつ器や信号機を制御する連動装置をVDMの仕様記述言語により記述し,ツールの支援機能を使ってプロトタイピングを行った例を示す.
収録刊行物
-
- 日本信頼性学会誌 信頼性
-
日本信頼性学会誌 信頼性 34 (6), 384-389, 2012
日本信頼性学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001204452514560
-
- NII論文ID
- 110009490288
-
- NII書誌ID
- AN10540883
-
- ISSN
- 24242543
- 09192697
-
- NDL書誌ID
- 023951555
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可