openETCS

Proyecto TSI-020401-2012-12 cofinanciado por el Ministerio de Industria, Energía y Turismo, dentro del Plan Nacional de Investigación Científica, Desarrollo e Innovación Tecnológica.

El propósito del proyecto openETCS es desarrollar un marco de trabajo integrado de testing, validación, desarrollo y modelado para aprovechar la implementación rentable y fiable de ETCS. Este marco de trabajo proporcionará una cadena de herramientas integral para el proceso de desarrollo completo del software ETCS. Esta cadena de herramientas servirá de apoyo para la especificación y verificación formal de los requisitos del sistema ETCS, la validación y generación de código ETCS compatible y automático, y la generación y ejecución de casos de pruebas basados en modelos.

Consorcio del proyecto