Consistency analysis of ERTMS monitoring systems

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.