Verification of the safety communication protocol in train control system using colored Petri net

This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishment of safety connection between train and trackside. Because of its graphical user interface and mode...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Reliability engineering & system safety 2012-04, Vol.100, p.8-18
Hauptverfasser:	Lijie, Chen, Tao, Tang, Xianqiong, Zhao, Schnieder, Eckehard
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Colored petri net EURORADIO Exact sciences and technology Ground, air and sea transportation, marine construction Railway transportation and traffic Switching and signalling Systems, networks and services of telecommunications Telecommunications Telecommunications and information theory The safety communication protocol Transportation planning, management and economics Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!