Verificación y validación del software de un sistema de seguridad crítica para un nuevo tren de alta velocidad, siguiendo la norma EN50128. El proceso de desarrollo y validación debe seguir ciertas normas definidas. Al software le aplica la norma EN-50128. El software es un sistema embebido que se ejecuta sobre un ordenador especial para sistemas críticos (EVC:European Vital Computer).