Estudio del proceso de verificación automática de la lógica de los enclavamientos

Abstract

En primer lugar se realiza un estudio del proyecto constructivo del tramo Venta de Baños- Burgos de la LAV Norte. Se adquiere una visión global de lo que constituye la construcción de un tramo de una línea de alta velocidad. Posteriormente se detalla el proceso de verificación de un enclavamiento, con su ciclo de vida de pruebas, desde el diseño de los casos de prueba hasta su realización. Se estudia la ingeniería de software de un enclavamiento, explicando cómo es la arquitectura del software de un enclavamiento que está compuesto por aplicación genérica y aplicación específica. Se estudia el proceso de verificación manual de un enclavamiento y se realiza dicha verificación manual de los enclavamientos de Río Arlanzón y Burgos-Rosa de Lima pertenecientes al tramo de la línea descrito. Se estudia el proceso de verificación automática y se realiza dicha verificación de la aplicación genérica del tramo descrito. En base a los resultados obtenidos de los dos procesos de verificación, se comparan y se definen las conclusiones del trabajo, desde el punto de vista de coste, tiempo, eficiencia y seguridad.