Objetivo 1: Métodos formales para optimización y verificación de sistemas.
Participantes: UCM-COSTA (responsable), UPM-MIDAS, UCM-DTRS.
Empresas asociadas: Ethereum Foundation, Polygon.
Investigadores asociados: Einar Broch Johnsen, Reiner Hähnle, Maria Christakis, Maria Garcia de la Banda, Peter Stuckey.
Actividades:
- Actividad 1.1: Desarrollo de técnicas de optimización.
- Actividad 1.2: Desarrollo de técnicas formales de estimación de coste.
- Actividad 1.3: Aplicación de técnicas de machine learning en el análisis y la optimización.
- Actividad 1.4: Verificación formal de las técnicas de optimización.
- Actividad 1.5: Desarrollo de resolutores SMT para el análisis de protocolos de seguridad y privacidad de conocimiento nulo.
Objetivo 2: Aplicaciones novedosas de testing metamórfico.
Participantes: UCM-DTRS (responsable), URJC-CommIT, UPM-MIDAS.
Empresas asociadas: MONTIMAGE, Espadaysantacruz Studio y Accenture.
Investigadores asociados: Ana Cavalli, Rui Abreu, Robert M. Hierons, Franz Wotawa, Jesús Almendros, Antonio Becerra.
Actividades:
- Actividad 2.1: Testing metamórfico de Wikipedia.
- Actividad 2.2: Testing metamórfico de programas cuánticos.
- Actividad 2.3: Testing metamórfico de modelos de deep learning.
- Actividad 2.4: Testing metamórfico de LLMs.
- Actividad 2.5: Más allá de DESAFíO-CM: otros campos de aplicación.
Objetivo 3: Especificación de un marco de servitización con enfoque Transformative Services Research de sistemas y aplicaciones software.
Participantes: URJC-Kybele-ISe (responsable), UCM-COSTA, UPM-MIDAS, UCM-DTRS.
Empresas asociadas: IBM, ALTEN, MELIÁ H.I.
Investigadores asociados: João Falcão e Cunha, Genoveva Vargas-Solar, Mónica Dragoicea, Dirk Stegelmeyer
Actividades:
- Actividad 3.1: Revisión sistemática: enfoque TSR en la servitización de software.
- Actividad 3.2: Especificación de las fases, tareas y actividades para la servitización de software.
- Actividad 3.3: Especificación de técnicas y modelos para la innovación, diseño y rediseño de servicios software.
- Actividad 3.4: Validación mediante su aplicación a casos de estudio.
Objetivo 4: Estructuración de la información de historiales clínicos.
Participantes: UPM-MIDAS (responsable), URJC-Kybele-ISe, UCM-DTRS.
Empresas asociadas: Hospital Ramón y Cajal, Hospital Puerta de Hierro de Madrid.
Investigadores asociados: Myra Spiliopoulou, Maria Esther Vidal.
Actividades:
- Actividad 4.1: Desarrollo de técnicas de reconocimiento de entidades nombradas.
- Actividad 4.2: Normalización de entidades.
- Actividad 4.3: Desarrollo de aplicaciones de soporte a la decisión.
- Actividad 4.4: Validación formal de las aplicaciones generadas.
Objetivo 5: Aplicación de técnicas de modelado, optimización y verificación sobre tecnologías blockchain.
Participantes: URJC CommIT y UCM-COSTA (responsables), UPM-MIDAS, URJC-Kybele-ISe.
Empresas asociadas: GALP Energía, Opengy, Celonis, Ethereum Foundation, Polygon.
Investigadores asociados: Vasilios Andrikopoulos, Jaap Gordijn, Laura Kóvacs, Rui Andreu, Maria Christakis.
Actividades:
- Actividad 5.1: Desarrollo de contratos dirigido por modelos.
- Actividad 5.2: Desarrollo de puentes tecnológicos entre contratos y modelos de valor.
- Actividad 5.3: Análisis de la actividad de los desarrolladores de contratos.
- Actividad 5.4: Optimización y análisis de contratos inteligentes.
- Actividad 5.5: Desarrollo de herramientas para la auditoría y certificación de la corrección de protocolos de seguridad y privacidad de conocimiento nulo.
- Actividad 5.6: Servitización de las herramientas de optimización y de análisis.