ＶＤＭ++とＵＭＬの並用による地方鉄道ＡＴＰＢシステムの形式的分析

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

論文No: LD11025

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

発行日: 2011/07/21

タイトル(英語): Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML

著者名: 謝 国(日本大学理工学部),高橋 聖(日本大学理工学部),中村 英夫(日本大学理工学部)

著者名(英語): xie guo(college of science and technology,nihon uinversity),takahashi sei(college of science and technology,nihon uinversity),nakamura hideo(college of science and technology,nihon uinversity)

キーワード: ＡＴＰＢ|鉄道システム|形式方法|ＶＤＭ＋＋|ＵＭＬ|クラス図|ATPB|railway system|formal methods|VDM++|UML|Class Diagram

要約(日本語): 地方鉄道のために、著者は低コストで路線の効率向上をさせるＡＴＰＢ（自動列車保安閉そく）システムを提案している。ＡＴＰＢの主な機能は自動列車保安制御、確率な閉そく制御である。本論文ではシステムの安全機能、例えば衝突、脱線や速度超過に起因する事故を防ぐ機能について、ＶＤＭ++とＵＭＬを併用で形式的分析を行った。この分析の結果を用いてソフトウェア作られれば、システムの厳密性、内部整合性などが保障されることになる。

原稿種別: 日本語

PDFファイルサイズ: 646 Kバイト