Resumen

La comunicación de vehículo a vehículo basada en el control de trenes (VBTC) se ha convertido gradualmente en una importante tendencia de investigación en el campo del transporte ferroviario. Esto ha resultado en ventajas como la disminución del número de equipos en la vía y la mejora de la eficiencia de la comunicación en tiempo real del sistema. Se presentan y discuten las características y el mecanismo de la comunicación de tren a tren, como tecnología clave de implementación de sistemas críticos de seguridad. Se propone un nuevo método, basado en la verificación de propiedades de seguridad en el procedimiento de comunicación utilizando el modelo de LTS (sistema de transición etiquetado). El método LTS se adapta para modelar comportamientos del sistema; el análisis y la verificación de seguridad se realizan mediante el software LTSA (analizador de sistemas de transición etiquetado). Los resultados muestran que es un método eficiente para verificar propiedades de seguridad, así como para ayudar en el diseño y desarrollo de sistemas complejos.

• Materias:Internet de las cosas Dispositivos móviles Ransomware Ingeniería de Telecomunicación Servidores en la nube
• Subjects:Internet of things Mobile devices Ransomware Telecommunication engineering Cloud Servers
• Palabras claves:Comunicación vehículo-vehículo; Control de trenes; Sistema crítico de seguridad; Comprobación de modelos LTS; Analizador de sistemas de transición etiquetada; Diseño de sistemas.
• Keywords:Vehicle-to-vehicle communication; Train control; Safety critical system; LTS model checking; Labelled transition system analyzer; System design