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.
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
