Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2018] On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
  • [2017] Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems
  • [2017] The Design and Implementation of the UPMSAT-2 Attitude Control System
  • [2017] The Design and Implementation of the UPMSAT-2 Attitude Control System
  • [2017] Timing analysis tools in a model-driven development environment
  • [2014] Estrategia Guiada por Modelos para incluir Aspectos de Seguridad en Sistemas Empotrados Basados en Servicios Web
  • [2014] Estrategia Guiada por Modelos para incluir Aspectos de Seguridad en Sistemas Empotrados Basados en Servicios Web
  • [2014] Experience in spacecraft on-board software development
  • [2014] MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems
  • [2014] Tools for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support .
  • [2013] Design of a Communication Middleware for Distributed Real-Time Safety Systems in Java
  • [2013] Diseño de un Software de Intermediación de Comunicación para Sistemas Distribuidos de Tiempo Real Críticos en Java
  • [2012] A dual-band priority assignment algorithm for dynamic QoS resource management.
  • [2008] Integration of Safety Analysis in Model-Driven Software Development
  ...
  mostrar más
• Capítulos de libros
  • [2018] On the effect of protected entry servicing policies on the response time of Ada tasks.
  • [2017] Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
  • [2014] Mixed Criticality in Control Systems
  • [2014] Model-Driven Design of Real-Time Software for an Experimental Satellite
  • [2013] A Model-Based Framework for Developing Real-Time Safety Ada Systems.
  • [2010] Resource Management for Enhancing Predictability in Systems with Limited Processing Capabilities.
  ...
  mostrar más
• Cursos, seminarios y tutoriales
  • [2014] Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum
  • [2014] Development of mixed-criticality systems based on system partitioning
• Otras Publicaciones
  • [2019] Estrategias de integración del aula virtual Moodle en el aula tradicional
  • [2015] Ada, the programming language of choice for the UPMSAT-2 satellite
  • [2015] Partitioning Algorithm for Mixed Criticality Systems
  • [2015] Safety Concept for a Mixed Criticality On-Board Software System
  • [2013] Design of on-board software for an experimental satellite
  • [2012] A Real-Time Computer Control Platform for an Experimental Satellite
  ...
  mostrar más
• Otros méritos
  • [2019] Evaluador de la Agencia Nacional de Evaluación y Prospectiva - 2008-2020
  • [2019] Reconocimiento de un tramo de un sexenio de transferencia
  • [2015] Experto evaluado de proyectos de investigación del ECSEL JU
  • [2009] Improving Predictability in Service Oriented Architectures
  • [2009] Uso de Cuotas de Procesador en Sistemas Orientados a Servicios
  ...
  mostrar más
• Ponencia en Congresos
  • [2019] El segmento de tierra del satélite UPMSat-2.
  • [2017] The UPMSat-2 Satellite: an academic project within aerospace engineering education
  • [2016] Adjusting middleware knobs to suit CPS domains
  • [2015] Partitioning Algorithm for Mixed Criticality Systems
  • [2015] Ada, the programming language of choice for the UPMSAT-2 satellite.
  • [2015] Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language
  • [2015] Safety Concept for a Mixed Criticality On-Board Software System
  • [2015] Using Internet-based Technologies in a University Satellite Project
  • [2014] Mixed-criticality design of a satellite software system.
  • [2014] A Toolset for the Development of Mixed-Criticality Partitioned Systems.
  • [2014] Mixed Criticality in Control Systems
  • [2014] Model-Driven Design of Real-Time Software for an Experimental Satellite
  • [2014] Toolset for Mixed-Criticality Partitioned Systems:Partitioning Algorithm and Extensibility Support
  • [2013] Arquitectura de tiempo real para el control de actitud en un satélite experimental.
  • [2013] Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.
  • [2013] MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems.
  • [2013] Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach.
  • [2012] Analysis of WCET in an experimental satellite software development.
  • [2012] Automated Grading and Feedback Providing Assignments Management Module
  • [2011] Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures
  • [2011] Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures
  • [2010] Analysis of Quality Dependencies in the Composition of Software Architectures
  • [2010] Evaluating non-functional properties globally
  • [2010] Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.
  • [2010] On the requirements for quality composability modeling and analysis
  • [2009] Colaboró en el comité operativo: Local Organizing Committee - Congreso www2009
  • [2009] Dynamic Adaptation Mechanisms in Multimedia Embedded Systems.
  • [2009] Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
  • [2009] Time-Predictable Reconfiguration with Contract-Based Resource Management.
  • [2007] Application of Safety Analyses in Model Driven Development
  • [2007] Predictable Serialization in Java
  • [2007] RMI-HRT: Remote Method Invocation - Hard Real Time
  ...
  mostrar más
• Proyectos de I+D+i
  • [2019] EIT Digital Master - SSA Education 2019: Master SSA - Programme Execution - EIT - I&E Education Program 2019
  • [2018] MASTER EIT DIGITAL 2016-SSA
  • [2018] MASTER EIT DIGITAL 2017-SSA
  • [2018] SISTEMAS CIBER-FÍSICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS MULTINÚCLEO
  • [2017] Master EIT Digital 2017-SSA: EIT Digital Master School Programmes
  • [2016] Eagle Eye TSP Porting to HW
  • [2016] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIROMENT
  • [2016] Master EIT Digital 2016-SSA: EIT Digital Master School Programmes
  • [2015] CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
  • [2015] Center for Open Middleware
  • [2015] EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
  • [2015] M2C2: Sistemas ciber-físicos de criticidad mixta sobre plataformas multinúcleo
  • [2015] MULTIPARTES: MULTI-CORES PARTITIONING FOR TRUSTED EMBEDDED SYSTEMS
  • [2014] CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
  • [2014] CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
  • [2014] EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
  • [2014] FI-Core: Future Internet - Core
  • [2014] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIROMENT
  • [2014] SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD
  • [2013] CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
  • [2013] CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
  • [2013] EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
  • [2013] SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD
  • [2012] CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
  • [2012] CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
  • [2012] EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
  • [2012] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIROMENT
  • [2012] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIRONMENT
  • [2012] SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD
  • [2011] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIROMENT
  • [2011] MultiPARTES: Multi-cores Partitioning for Trusted Embedded Systems
  • [2011] N/A 5: Hardware-Software Codesign
  • [2011] SISTEMAS EMPOTRADOS PARTICIONADOS DE ALTA INTEGRIDAD
  • [2010] GUARANTEE (ITEA2-IF08018): GUARDIAN ANGEL FOR THE EXTENDED HOME ENVIRONMENT
  • [2010] HARDWARE-SOFTWARE CODESIGN
  • [2010] PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
  • [2009] CONTRACT N. 032939 - MORE
  • [2009] CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
  • [2009] CONTRACT. N. 004527 - ARTIST2 - EMBEDDED SYSTEMS DESIGN.
  • [2009] GUARANTEE
  • [2009] HARDWARE-SOFTWARE CODESIGN
  • [2009] PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
  • [2008] ARTIST2 Network of Excellence on Embedded Systems Design
  • [2008] MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
  • [2008] THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
  • [2007] ARTIST2 Network of Excellence on Embedded Systems Design
  • [2007] Ayudas a la Realización del Proyecto FP6-IST MODELWARE
  • [2007] HIJA: High Integrity Java Applications (Acción Complementaria)
  • [2007] MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
  • [2007] THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
  • [2007] e-Magerit. Aplicaciones Emergentes para Internet de Nueva Generación
  ...
  mostrar más
• Responsabilidades
  • [2011] Experto evaluador de proyectos de investigación en la ANEP
  • [2011] Experto evaluador para acreditación del profesorado en el programa
  • [2011] Experto evaluadorde proyectos del programa europeo ARTEMIS
  • [2011] Miembro de la Junta Directiva de CEA-IFAC
  • [2011] Presidente de AdaSpain
  • [2011] Representante del Depto
  • [2007] Representante del DIT en la COA (Comisión de Organización Académica) de la ETSIT
  • [2007] Secretario de la Comisión Docente del DIT
  ...
  mostrar más
• Tesis Doctorales
  • [2016] A FRAMEWORK FOR MIXED-CRITICALITY PARTITIONED REAL-TIME EMBEDDED SYSTEMS
  • [2013] DISEÑO DE LA ARQUITECTURA SOFTWARE DEL SISTEMA DE ABORDO DEL SATÉLITE UPMSAT-2
  • [2012] COMMUNICATION MIDDLEWARE FOR DISTRIBUTED HARD REAL-TIME SYSTEMS IN JAVA