文献

J-GLOBAL ID：201202224913048469   整理番号：12A0259271

ATP閉そくシステムの形式化とシミュレーション

Formalizing and Simulating Automatic Train Protection and Block System

著者 (5件)： 黒田智也 (日本大) ,  GUO Xie (日本大) ,  望月寛 (日本大) ,  高橋聖 (日本大) ,  中村英夫 (日本大)
資料名： 電気学会交通・電気鉄道研究会資料  (電気学会研究会資料)
巻： TER-12  号： 1-7  ページ： 13-16  発行年： 2012年01月25日 
JST資料番号： S0865C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 地方鉄道の再構築のために提案したATP閉そくシステム(Automatic Train Protection and Block System)は追加の沿線設備がほとんどない車上主体型システムであるが,システムの安全性を確保するためにATP閉そくシステムの仕様を形式化して検証した。UMLとVDM++によってATP閉そくシステムの仕様を解析し,シミュレーターのテスト結果は高品質であることを示した。システムの構造,UMLとVDM++による開発,UMLクラス図,形式仕様と解析,シミュレーション,結果と今後の課題について述べた。

シソーラス用語： 自動列車停止装置 ,  地方鉄道 ,  *鉄道 ,  閉塞 ,  *UML【モデリング言語】 ,  *シミュレーション ,  安全性 ,  シミュレータ
準シソーラス用語： *ATP【鉄道】

分類 (1件)： 信号,保安  (TC01040Y)

引用文献 (6件)：

• (1)H Nakamura "Developments towards the safest railway in the world through sophisticated train control system", IEICE Technical Report, Vol 110, No.472, pp 21.28, (2011) (in Japanese)
• (2)H Nakamura: "Development of Powerful Railway Control System Against Earthquake Disaster", Rolling Stock & Technology, Vol 17, No 6, pp 6-10 (2011) (in Japanese)
• (3)John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, and Marcel Verhoef "Validated Designs for Object-oriented Systems", Springer, New York (2005)
• (4)Bell, D "UML basics' The class diagram", http //www.ibm.com/developerworks/rational/hbrary/content/RationalEdge/sep04/bell/(2004)
• (5)S.Vermolen, J Hooman, and P. G Larsen "Automating Consistency Proofs of VDM++ Models using HOL," Proceedings of the 25th Symposium On Applied Computing (SAC 2010), (Sierre, Switzerland), ACM, March (2010)

タイトルに関連する用語 (4件)： ATP ,  閉そく ,  形式化 ,  シミュレーション