Open Proofs Methodology for the European Train Control Onboard System
Europe’s railways have developed over the last 150 years within national boundaries, resulting in a variety of different signalling and train-control systems that hampers cross-border traffic. The European Union has decided to improve interoperability for the railway sector. The European Train Control System (ETCS) as part of the European Rail Traffic Management System (ERTMS) is intended to replace almost all national legacy mainline signalling and train-control systems across Europe. The purpose of the openETCS project is to develop an integrated modelling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of ETCS. The framework will provide a holistic tool chain across the whole development process of ETCS software, using open standards on all levels.