SafetIA
SafetIA

SafetIA
SafetIA
 : 
Inteligencia artificial para proponer soluciones óptimas en grandes espacios de diseño booleanos para sistemas safety complejos
Inteligencia artificial para proponer soluciones óptimas en grandes espacios de diseño booleanos para sistemas safety complejos

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

IKERLAN S. Coop.

IKERLAN S. Coop.

Funding entity:

Ikerlan S. Coop
Ikerlan S. Coop

Funding call:

Funding call URL:

Project #:

still to be assigned
still to be assigned

Total funding amount:

19.874,00€
19.874,00€

IIIA funding amount:

Duration:

26/May/2020
26/May/2020
25/Nov/2020
25/Nov/2020

Extension date:

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.

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.

No publications uploaded yet
Christian Blum
Scientific Researcher
Phone Ext. 431840

Jesus Cerquides
Scientific Researcher
Phone Ext. 431859