Formalising Railway Communication system

カテゴリ: 全国大会

論文No: 4-238

グループ名: 【全国大会】平成23年電気学会全国大会論文集

発行日: 2011/03/05

タイトル(英語): Formalising Railway Communication system

著者名: 謝 国(日本大学),黒田智也(日本大学),望月 寛(日本大学),高橋 聖(日本大学),中村英夫(日本大学)

著者名(英語): Guo Xie()

要約(日本語): This paper describes formal model of a communication system of railway system by VDM (Vienna Development Method), presents the proof obligations and validations of the system, and makes a formalism analysis for the model. The obligations are proved in order to verify the internal consistency, and the validations are proved to verify the designed system satisfies the requirements. In this wireless communication system [1], the information exchange between the on board system in train and the control center is accomplished by free phone line.

原稿種別: 日本語

PDFファイルサイズ: 1,193 Kバイト