Abstract
In the railway field, rigorous development processes contribute to implement safe and efficient systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes’ correctness and validate safety requirements. ERTMS/ETCS L3 (European Railway Traffic Management System / European Train Control System Level 3) is a European standard for interoperable railways based on the concept of Moving Block signaling systems which allows for substantial capacity gains and reduced costs. In this paper, we explain why the ETCS L3 struggles to be deployed despite the benefits it can bring. Then, we discuss the planned implementations of ETCS L3 at a European-wide scale. Finally, we present a methodology framework using formal models to verify moving block systems. This work is performed in the context of the PERFORMINGRAIL European project.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
