{{{sourceTextContent.title}}}

Trayectoria clara para el tráfico ferroviario seguro a través de Europa

{{{sourceTextContent.subTitle}}}

¿De Berlín a Budapest, de Praga a París? para viajar con seguridad, económicamente y económicamente en tren a través de Europa, la señal uniforme y las soluciones de control del tren son necesarias. Como consecuencia de historia, éstos todavía varían de un país a otro hoy. ¿? ¿Sistema de control europeo del tren? (ETCS) se piensa establecer mayor consistencia. ¿Un total de 44 socios europeos están trabajando para ejecutar esto en los trenes de una manera rentable, confiable y sobretodo del opensource como? openETCS?. Señora

{{{sourceTextContent.description}}}

El tren trae Europa más cercana junto. Sin embargo, el sistema de control del carril de países todavía diferencia a partir del uno otro; por ejemplo, los conductores del tren no utilizan señales o procedimientos estándar estandardizados cuando funciona incorrectamente una señal. ¿Además, sistemas de control del tren? ¿por ejemplo la parada automática para una violación de la señal? funcione diferentemente a partir de un país a otro. Mientras que hay de hecho una especificación europea estándar bajo la forma de ETCS, hay también muchas especificaciones nacionales. Técnico la integración del estándar con todas estas excepciones en los trenes ha sido desperdiciadora de tiempo y, sobretodo, costosa. Por otra parte, ningún fabricante puede ofrecer a un ETCS la unidad a bordo hoy que es completamente aprobada para todas las rutas afectadas en Europa. ¿Por lo tanto, Deutsche Bahn, el servicio ferroviario alemán, está promoviendo? ¿openETCS? , un programa del software libre que es ser libremente accesible, fabricante-independiente y perceptiblemente más barato.

La puntería del Dr. Klaus-Rüdiger Hase, gestor de proyecto del openETCS en el DB, es “equipar todos los nuevos trenes, lo más lejos posible, del software abierto en el futuro. En fecha 2017, los vehículos viajarán para cuál se ha autorizado el software de la función de ETCS conforme a la licencia pública de la unión europea (EUPL). El EUPL publicado por la Comisión de la UE considera aplicaciones la ley de la responsabilidad por la fabricación de un producto de la UE así como los derechos reservados en Europa. Consecuentemente, contamos con más competición, ayuda más rentable para y uso de largo plazo del software, así como ciclos más rápidos de la innovación.”

Certificación segura y simple

Puesto que ETCS es un sistema seguridad-crítico, debe ser certificado a fondo. El instituto de Fraunhofer para los sistemas de comunicación abiertos FOKUS en Berlín está trabajando para documentar formalmente la puesta en práctica del openETCS. En el proceso, los investigadores darán vuelta a Frama C, una herramienta de análisis del software hecha por la LISTA francesa del CEA del instituto del socio, como su recurso primario. Esta manera, el código fuente puede ser verificada matemáticamente cuál garantiza mismo un alto nivel de confiabilidad. Por otra parte, si el software se desarrolla más lejos, no todos los componentes de la nueva versión tendrán que ser verificados otra vez. Esto reduce el coste y la complejidad para la actualización.

Según Jens Gerlach, el gestor de proyecto en Fraunhofer FOKUS, el desafío más grande debe “especificar formalmente los requisitos informales de ETCS en operaciones ferroviarias por lo que el software.” Este proyecto funcionará hasta finales de 2015. En InnoTrans en Berlín (Pasillo 23B, soporte 206), los científicos presentarán sus resultados actuales y las posibilidades de la certificación.