Estudio del proceso de verificación automática de la lógica de los enclavamientos
Resumen
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.