El objetivo fundamental del proyecto será analizar si el diseño de sistemas complejos basados en
◦ un conjunto de requisitos de seguridad y
◦ uno o varios objetivos de rendimiento
puede ser automatizado utilizando técnicas de Inteligencia Artificial.
El análisis se circunscribirá en el marco de los sistemas safety, que son los más estrictos
técnicamente para conocer los límites de lo alcanzable técnicamente. El análisis tomará como
ejemplo el diseño de sistemas de enclavamiento ferroviarios (railway interlocking systems).
Los objetivos del análisis serán comprender si dicha automatización es viable, qué ventajas
proporciona y cuáles son sus límites.