Title :
Consistency analysis of ERTMS monitoring systems
Author :
Daian, Gheorghe Iulian ; Letia, Tiberiu Stefan
Author_Institution :
Dept. of Software Developing, Inf. Feroviara, Cluj-Napoca, Romania
Abstract :
The European Rail Traffic Management System (ERTMS) is a major European project, whose goals are to make railway transport safer and more competitive, to increase track utilization and provide interoperable rail signaling and train control. It is a large geographic asynchronous distributed system. The system modeling for the presented work is designed using Real Time UML (RT UML). The capsules, ports and connections describe the structural diagram, while the state machines describe the behavior of the system. The time computations and the message delays impose the use of global states for the monitoring systems. The consistency of global states is analyzed using the space-time diagram.
Keywords :
Unified Modeling Language; computerised monitoring; control engineering computing; delays; finite state machines; open systems; rail traffic control; railway safety; real-time systems; traffic engineering computing; transportation; ERTMS monitoring systems; European project; European rail traffic management system; RT UML; capsules; connections; geographic asynchronous distributed system; global state consistency analysis; interoperable rail signaling; message delays; ports; railway transport safety; real time UML; space-time diagram; state machines; structural diagram; system behavior; time computations; track utilization; train control; Delay; Monitoring; Radar tracking; Rail transportation; Sensors; Tracking; Unified modeling language; Consistency analysis; ERTMS; European railways; railway traffic monitoring;
Conference_Titel :
Automation Quality and Testing Robotics (AQTR), 2012 IEEE International Conference on
Conference_Location :
Cluj-Napoca
Print_ISBN :
978-1-4673-0701-7
DOI :
10.1109/AQTR.2012.6237770
