無線列車制御システム評価における形式化技術の適用

摘要

For a train control system with a wireless communication system, new architectures for wireless communications and train controls are introduced, and then conventional arguments often fail to focus on the superiority regarding the configurations. For such a reason, it is essential to model various properties properly and examine them sufficiently in advance. In this paper, an evaluation problem of a train delay for degraded situation is selected among such evaluation problems for a train control system with a wireless communication system. Then, Unified Modeling Language (UML), which provides many kinds of graphical expressions to examine the validity of the system requirements, is applied. In addition, a formal technique is introduced for proper modeling and sufficient examination of the evaluation.%無線べ一ス列車制御システムは，各列車が自己の位置 を把握し，これらの情報を基に地上装置が列車と無線伝 送しながら，列車間の間隔制御などを行うものであっ て，従来からある軌道回路を基にした固定的な閉そくシ ステムとは違う柔軟な列車制御が行えるため，コスト的 にも有利で保守もしやすいといわれている。また，列車 位置がほぼ正確にわかることから，それを用いた様々な 機能を付加することができるなど，次世代の列車制御シ ステムとして期待されている。