European Train Control System (ETCS)
Open Proofs - Open Source
The purpose of the openETCS project is to develop an integrated modeling, 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. The tool chain will support the formal specification and verification of the ETCS system requirements, the automatic and ETCS compliant code generation and validation, and the model-based test case generation and execution.
openETCS will utilize “Open Standards” on all levels, including hardware and software specification, interface definition, design tools, verification and validation procedures and last but not least embedded control software. By applying those technologies and related business concepts a significant cost cut for the final onboard product is expected down to or even below conventional high performance cab signaling systems (e.g. LZB Linien-Zug-Beeinflussung, as used in Germany, Austria and Spain).
The openECTS project aims to provide the formal model of the ETCS system, the source code of the ETCS software and the tool chain necessary to develop and verify them. This tool chain will enable to transfer the ETCS specification into a formal model and then to generate the code for an ETCS onboard unit. In parallel to the development openETCS aims to establish an open-source ecosystem of services around the developed artifacts.
V & V
The open source concept provides for a neutral and formal method based “correct” functioning reference device that will help to overcome existing interoperability problems, supporting manufacturers, infrastructure managers and railway undertakings alike, avoiding exhaustive field tests, transferring verification and validation activities from the track site into laboratories, saving scarce resources and finally accelerating the migration phase and therefore supporting the European ERTMS deployment plan.