See the group research results at the UPM scientific portal

Current projects

  • AURORA: Tool suite for AUtomatic code generation and validation of model-based critical inteROpeRAble components. EU H2020 project no 101004291
  • OAPES-CM: Operación Avanzada de Pequeños Satélites.Y2020/NMT-6427
  • PRESECREL: Models and platforms for predictable, secure and reliable industrial information technology systems. PID2021-124502OB-C43
  • ACES: Autopoietic Cognitive Edge-cloud Services. EU Horizon Europe project No. 101093126
  • SUNRISE: Strategies and Technologies for United and Resilient Critical Infrastructures and Vital Services in Pandemic-Stricken Europe. EU Horizon Europe project No. 101073821
  • autoGDPR: Evaluación automática del cumplimiento del Reglamento General de Protección de Datos
  • PDP4E: methods and tools for GDPR compliance through Privacy and Data Protection Engineering
  • GRACES: Modelos gráficos accesibles en ingeniería del software y servicios
  • FREIGHTURE: Sistemas para el seguimiento y control de activos móviles y mercancías
  • SORLOT: Sistema de Ordenación de una Red de Transporte (mercancías y viajeros) y Logística con Trazabilidad

Recent projects

Other projects

  • CHESS: Composition with Guarantees for High-integrity Embedded Software Components Assembly
  • ASSERT: Automated proof based System and Software Engineering for Real-Time Applications
  • HWSWCO: Hardware-Software Co-design for on-board software
  • MEDIASAT: Advanced Service Management Platform
  • ARTIST: NoE on Embedded Systems Design
  • GUARANTEE: Guardian Angel for the Extended Home Environment
  • MORE: Network-centric Middleware for Group Communication and Resource Sharing Across Heterogeneous Embedded Systems
  • MODELWARE: Modeling Solution for Software Systems
  • HIJA: High-Integrity Java Application
  • RT-MODEL: Real-time platforms for model-driven design of embedded systems