Objetivos y líneas de investigación

Objetivo 1: Fundamentos de modelado para el desarrollo correcto de sistemas.

Participantes: UAM-miso (responsable), URJC-Kybele, UCM-DTRS, UCM-COSTA.

Empresas asociadas: UGROUND GLOBAL, IncQuery Labs.

Actividades:

  • Actividad 1.1: Adaptación semiautomática de artefactos MDE: sintaxis.
  • Actividad 1.2: Reutilización correcta de artefactos MDE: semántica.
  • Actividad 1.3: DSLs para V&V independientes del dominio.
  • Actividad 1.4: Generación automática de modelos.

Objetivo 2: Técnicas avanzadas de V&V de programas.

Participantes: UCM-COSTA (responsable), UCM-DTRS, URJC-Kybele, UAM-miso.

Empresas asociadas: IBM, Barcelogic, Espadaysantacruz Studio.

Actividades:

  • Actividad 2.1: Análisis de programas probabilistas.
  • Actividad 2.2: Aprendizaje automático para el análisis de programas.
  • Actividad 2.3: Teoría y práctica de los análisis de terminación y coste.
  • Actividad 2.4: Stateless model checking utilizando SMT.
  • Actividad 2.5: Testing de programas distribuidos y concurrentes.

Objetivo 3: Modelado y validación de infraestructuras cloud.

Participantes: UCM-DTRS (responsable), UAM-miso, URJC-Kybele.

Empresas asociadas: IBM.

Actividades:

  • Actividad 3.1: Modelado y análisis de propiedades en sistemas cloud.
  • Actividad 3.2: Metodología general y unificada para comprobar la corrección de sistemas cloud.
  • Actividad 3.3: Análisis de aspectos no funcionales de sistemas cloud.

Objetivo 4: Análisis y validación de smart contracts.

Participantes: URJC-Kybele (responsable 4.1 y 4.2), UCM-COSTA (responsable 4.3 y 4.4), UAM-miso, UCM-DTRS.

Empresas asociadas: Ethereum Madrid.

Actividades:

  • Actividad 4.1: Desarrollo de un DSL para el modelado de smart contracts.
  • Actividad 4.2: Generación automática de smart contracts a partir de modelos de procesos.
  • Actividad 4.3: Desarrollo de un framework para el análisis de smart contracts.
  • Actividad 4.4: Validación de transacciones concurrentes.

Objetivo 5: Aplicaciones en el campo de la salud.

Participantes: UCM-DTRS (responsable), UAM-miso, URJC-Kybele.

Empresas asociadas: Montimage.

Actividades:

  • Actividad 5.1: Análisis de requisitos y especificación.
  • Actividad 5.2: Extracción y análisis de datos.
  • Actividad 5.3: Herramienta para diagnóstico precoz de enfermedades.
  • Actividad 5.4: Herramienta análisis calidad medioambiental.
  • Actividad 5.5: Diseño de algoritmos para derivación de casos de prueba.

Objetivo 6: V&V de aplicaciones basadas en diálogo (chatbots).

Participantes: UAM-miso (responsable), URJC-Kybele, UCM-COSTA, UCM-DTRS.

Empresas asociadas: Botium.

Actividades:

  • Actividad 6.1: Ingeniería inversa y especificación de chatbots.
  • Actividad 6.2: Análisis estático de modelos de chatbot.
  • Actividad 6.3: Especificación de pruebas sobre chatbots.
  • Actividad 6.4: Generación multiplataforma de chatbots de prueba.
  • Actividad 6.5: Crowd­testing con chatbots de prueba.
  • Actividad 6.6: Evaluación de la UX en chatbots.

Objetivo 7: Modelos de negocio adaptados a servicios.

Participantes: URJC-Kybele (responsable), UAM-miso, UCM-COSTA, UCM-DTRS.

Empresas asociadas: IFMA Spain.

Actividades:

  • Actividad 7.1: Definición de un marco metodológico.
  • Actividad 7.2: Desarrollo de nuevos lenguajes de modelado.
  • Actividad 7.3: Identificación de relaciones.
  • Actividad 7.4: Desarrollo de mecanismos de transición.

Objetivo 8: Gestión, diseminación y explotación.

Participantes: (UCM-DTRS (responsable), UAM-miso, UCM-COSTA, URJC-Kybele.

Empresas asociadas: todas.

Actividades:

  • Actividad 8.1: Gestión del programa.
  • Actividad 8.2: Estrategia de difusión.
  • Actividad 8.3: Difusión en el ámbito académico.
  • Activiad 8.4: Difusión en la comunidad de desarrollo de aplicaciones emergentes.