openETCS

Proyect TSI-020401-2012-12 Draft funded by the Ministry of Industry, Energy and Tourism within the National Plan for Scientific Research, Development and Technological Innovation.

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.

Project Consortium