Formalising Real-time and Concurrency Control in ATPB system

カテゴリ: 部門大会

論文No: GS9-4

グループ名: 【C】平成23年電気学会電子・情報・システム部門大会講演論文集

発行日: 2011/09/07

タイトル(英語): Formalising Real-time and Concurrency Control in ATPB system

著者名: Guo Xie(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University)

著者名(英語): Guo Xie(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University)

キーワード: ATPB|railway system|Real-time|Concurrency|Formal Method

要約(日本語): Considering that several trains may communicate with control center and query the database concurrently and in real-time, this paper presents a formal specification of the procedures of receiving and dispatching trains in the Automatic Train Protection and Block (ATPB) railway system by VDM++. First, the specific process is presented by natural language; then the specification of concurrency control is introduced; At last, considering the execution time of operations, the real-time and concurrency control in this system is specified. The model is validated by simulation, and as all the concepts are captured and validated, it contributes to the future development and application of ATPB system.

PDFファイルサイズ: 5,999 Kバイト