etcs (17) openetcs (1) openproof (1)
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 exec
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.