Modeling and Verification of Train Operation Control based on Information Control System Modeling Language

Modeling and Verification of Train Operation Control based on Information Control System Modeling Language

Until now, authors have developed an information control system modeling language. This research proposes an application of the modeling language to a train operation control. We explain the modeling language compactly, model a train operation control and verify the model with Promela description an...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer Software 2012/07/25, Vol.29(3), pp.3_101-3_107
Hauptverfasser: KOGAI, Kei, OYAMA, Kyohei, UEDA, Yoshikazu, TAKAHASHI, Yuki, TAKEZAWA, Takayuki, NAKANO, Toshihiko
Format: Artikel
Sprache:jpn
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Until now, authors have developed an information control system modeling language. This research proposes an application of the modeling language to a train operation control. We explain the modeling language compactly, model a train operation control and verify the model with Promela description and LTL. In fact, we found out some counterexamples of the model by this approach.
ISSN:0289-6540
DOI:10.11309/jssst.29.3_101