情報制御システム記述言語による列車運行制御モデルの記述と検証
スポンサーリンク
概要
- 論文の詳細を見る
本研究では，著者らが以前より開発している情報制御システム記述言語の列車運行制御への適用について説明する．列車運行制御をこの記述言語によってモデル化し，Promela記述へ変換した内容をLTLによって検証する方法について説明する．列車運行制御は閉塞区間を基本構成とし，これらの関係で構成された路線に本手法を適用し，モデル設計の不具合を検出できた．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)