ATP閉そくシステムの形式化と証明

カテゴリ: 研究会(論文単位)

論文No: LD12024

グループ名: 【D】産業応用部門 リニアドライブ研究会

発行日: 2012/07/19

タイトル(英語): Formalizing and Proving Automatic Train Protection and Block System

著者名: 黒田 智也(日本大学大学院理工学研究科),謝 国(日本大学大学院理工学研究科),望月 寛(日本大学理工学部),高橋 聖(日本大学理工学部),中村 英夫(日本大学理工学部)

著者名(英語): Kuroda Tomoya(Graduate school of Science and Technology,Nihon University),Xie Guo(Graduate school of Science and Technology,Nihon University),Mochiduki Hiroshi(College of Science and Technology,Nihon University),Takahashi Sei(College of Science and Technology,Nihon University),Nakamura Hideo(College of Science and Technology,Nihon University)

キーワード: 列車システム|ＡＴＰ閉そく|形式手法|ＶＤＭ＋＋|Ｂ|Railway System|ATPB|Formal methods|VDM++|B

要約(日本語): 低コストでの安全性と信頼性の確保等、既存の地方鉄道の効率性改善と再構築は、日本でますます重要な課題となっている。そこで、新たな鉄道システムとして、ATP閉そくシステムが提案されている。このシステムの信頼性向上のため、我々は形式的手法を用いた仕様の形式化と証明による整合性の保証を行った。

原稿種別: 日本語

PDFファイルサイズ: 4,924 Kバイト