Issued by the OpenETCS Project
OpenETCS is a European project ITEA2 that aims at developing an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of ETCS. The framework provides a holistic tool chain across the whole development process of ETCS software. This tool chain supports 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 uses '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 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.
In the context of the OpenETCS project, ALL4TEC brought its skills on safety and validation to contribute to the demonstration of the SIL4 level of CENELEC standard. The project gave us the opportunity to re-enforce the links between our Model Based Safety Analysis (MBSA) tool Safety Architect and the SysML tool Papyrus from the French Research entity CEA LIST (Comissariat à l’Energie Atomique). It was the starting point for the opensourcing of this common project under the name of ESF.