Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Juan Antonio de la Puente Alfaro
Categoría Investigador
L.D. PROF. EMERITO
Escuela UPM
E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento:
INGENIERÍA DE SISTEMAS TELEMÁTICOS
Centros/Institutos I+D+i
CENTRO I+D+I PROC. INFORMACIÓN Y TELECOM
Area Conocimiento
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
Grupo de Investigación:
Sistemas de tiempo real y arquitectura de servicios telemáticos
Email (Directorio UPM)
juan.de.la.puente
upm.es
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
52 Proyectos de I+D+i
1: (2007)
ARTIST2 Network of Excellence on Embedded Systems Design
2: (2007)
ASSERT: INGENIERÍA DE SISTEMAS Y SOFTWARE BASADA EN PRUEBAS PARA APLICACIONES DE TIEMPO REAL
3: (2007)
ASSERT: Ingeniería de sistemas y software basada en pruebas para aplicaciones de tiempo real (Acción Complementaria)
4: (2007)
Ayudas a la Realización del Proyecto FP6-IST MODELWARE
5: (2007)
e-Magerit. Aplicaciones Emergentes para Internet de Nueva Generación
6: (2007)
MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
7: (2007)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
8: (2008)
ARTIST2 Network of Excellence on Embedded Systems Design
9: (2008)
LAB Activities ¿ Improvement and Documentation for the Assert Virtual Machine
10: (2008)
MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
11: (2008)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
12: (2009)
CONTRACT. N. 004527 - ARTIST2 - EMBEDDED SYSTEMS DESIGN.
13: (2009)
CONTRACT N. 032939 - MORE
14: (2009)
CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
15: (2009)
CURSO FORMACION
16: (2009)
EDUCATION PRESTIGUE PROGRAMME 2008 - N. P1090383
17: (2009)
HARDWARE-SOFTWARE CODESIGN
18: (2009)
N. 004033 - ASSERT AUTOMATED PROOF BASED SYSTEM AND SOFTWARE ENGINEERING FOR REAL-TIME APPLICATIONS.
19: (2009)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
20: (2010)
HARDWARE-SOFTWARE CODESIGN
21: (2010)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
22: (2011)
CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
23: (2011)
EDUCATION PRESTIGUE PROGRAMME 2008 - N. P1090383
24: (2011)
MultiPARTES: Multi-cores Partitioning for Trusted Embedded Systems
25: (2011)
N/A 5: Hardware-Software Codesign
26: (2011)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
27: (2011)
XIV JORNADAS DE TIEMPO REAL
28: (2012)
CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
29: (2012)
CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
30: (2012)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
31: (2012)
MEDIASAT - Plataforma de Gestión y Servicios Avanzados
32: (2013)
CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
33: (2013)
CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
34: (2013)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
35: (2013)
N/A 44: Model-based Software Development Lifecycle
36: (2014)
CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
37: (2014)
CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
38: (2014)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
39: (2014)
FI-Core: Future Internet - Core
40: (2014)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
41: (2015)
Center for Open Middleware
42: (2015)
CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
43: (2015)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
44: (2015)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
45: (2015)
MULTIPARTES: MULTI-CORES PARTITIONING FOR TRUSTED EMBEDDED SYSTEMS
46: (2015)
M2C2: Sistemas ciber-físicos de criticidad mixta sobre plataformas multinúcleo
47: (2016)
Eagle Eye TSP Porting to HW
48: (2016)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
49: (2017)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
50: (2018)
EAGLEEYE TSP PORTING TO HWIL CONFIGURATION
51: (2018)
PRECON-I4: Sistemas informáticos predecibles y confiables para la industria 4.0
52: (2018)
SISTEMAS CIBER-FÍSICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS MULTINÚCLEO
Formación de Investigadores y Movilidad
2 Tesis Doctorales
1: (2007)
Arquitecturas de software para sistemas de tiempo real particionados. José Antonio Pulido Pavón.
2: (2018)
STRICT REAL-TIME SYSTEMS DESIGN OVER MULTIPROCESSOR-BASED PLATFORMS
Difusión de Resultados de Investigación
22 Artículos en revistas
1: (2007)
Ada 2005 Code Patterns for Metamodel-Based Code Generation.
2: (2010)
Experience in programming device drivers with the Ravenscar profile
3: (2011)
Ada User Guide for LEGO MINDSTORMS NXT.
4: (2011)
Application of Deadlock Risk Evaluation of Architectural Models
5: (2012)
A dual-band priority assignment algorithm for dynamic QoS resource management.
6: (2013)
Ada Real-Time Services and Virtualization.
7: (2013)
On real-time partitioned multicore systems.
8: (2014)
Experience in spacecraft on-board software development
9: (2015)
Automated Model-based Testing Based on an Agnostic-platform Modeling Language
10: (2015)
Using Internet-based Technologies in a University Satellite Project
11: (2016)
Session Summary: Time Vulnerabilities
12: (2016)
In support of extending the Ravenscar profile
13: (2017)
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems
14: (2017)
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
15: (2017)
The Design and Implementation of the UPMSAT-2 Attitude Control System
16: (2017)
The Design and Implementation of the UPMSAT-2 Attitude Control System
17: (2017)
The UPMSat-2 Satellite: An academic project within aerospace engineering education
18: (2017)
Timing analysis tools in a model-driven development environment
19: (2017)
Timing analysis tools in a model-driven development environment
20: (2018)
On Protocols for Accessing Protected Objects on Multiprocessors.
21: (2018)
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
22: (2018)
Timing Analysis of the UPMSat-2 Communications Subsystem
14 Capítulos de libros
1: (2008)
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements
2: (2008)
The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
3: (2008)
A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies
4: (2008)
The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems. In Myung Jin Chung, Pradeep Misra (eds.), Proceedings of the 17th IFAC World Congress.
5: (2010)
Design and Implementation of Real-Time Distributed Systems with the ASSERT Virtual Machine
6: (2011)
Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model.
7: (2011)
ORK+/XtratuM: An Open Partitioning Platform for Ada.
8: (2013)
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
9: (2013)
Static analysis of WCET in a satellite software subsystem
10: (2013)
Time and space partitioning the EagleEye reference mission.
11: (2014)
Mixed Criticality in Control Systems
12: (2014)
Model-Driven Design of Real-Time Software for an Experimental Satellite
13: (2017)
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
14: (2018)
On the effect of protected entry servicing policies on the response time of Ada tasks.
1 Cursos, seminarios y tutoriales
1: (2010)
CURSO AVANZADO DE LENGUAJE ADA
1 Libros
1: (2015)
Lecture Notes in Computer Science. Reliable Software Technologies - Ada-Europe 2015
5 Otras Publicaciones
1: (2011)
Ada Real-Time Services and Virtualization.
2: (2012)
A Real-Time Computer Control Platform for an Experimental Satellite
3: (2013)
Design of on-board software for an experimental satellite
4: (2015)
Ada, the programming language of choice for the UPMSAT-2 satellite
5: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
34 Ponencia en Congresos
1: (2007)
Handling Temporal Faults in Ada 2005.
2: (2007)
Run-time mechanisms for property preservation in high-integrity real-time systems.
3: (2009)
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
4: (2009)
Colaboró en el comité operativo: Local Organizing Committee - Congreso www2009
5: (2009)
Dynamic Adaptation Mechanisms in Multimedia Embedded Systems.
6: (2009)
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
7: (2009)
Time-Predictable Reconfiguration with Contract-Based Resource Management.
8: (2010)
Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos
9: (2011)
Extending ASSERT for HW/SW Co-design
10: (2012)
Including Hardware/Software Co-design in the ASSERT Model Driven Engineering Process.. Reliable Software Technologies
11: (2012)
Time and Space Partition Platform for Safe and Secure Flight Software. Data Systems in Aerospace ?
12: (2012)
A Platform for Real-Time Control Education with LEGO MINDSTORMS. In P. Pakshin (ed.), I .
13: (2012)
Analysis of WCET in an experimental satellite software development.
14: (2013)
Arquitectura de tiempo real para el control de actitud en un satélite experimental.
15: (2013)
Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.
16: (2013)
Static analysis of WCET in a satellite software subsystem
17: (2013)
Time and Space Partitioning the EagleEye Reference Mission
18: (2014)
Memory Isolation in Many-Core Embedded Systems
19: (2014)
Memory Isolation in Many-Core Embedded Systems.
20: (2014)
Mixed Criticality in Control Systems
21: (2014)
Model-Driven Design of Real-Time Software for an Experimental Satellite
22: (2015)
Ada, the programming language of choice for the UPMSAT-2 satellite.
23: (2015)
ARINC-653 Inter-partition Communications and the Ravenscar Profile
24: (2015)
ARINC-653 Inter-partition Communications and the Ravenscar Profile
25: (2015)
Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language
26: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
27: (2015)
Using Internet-based Technologies in a University Satellite Project
28: (2016)
Timing analysis in a model-driven development environment
29: (2016)
Adjusting middleware knobs to suit CPS domains
30: (2016)
Análisis de herramientas de generación automática de código.
31: (2016)
MrsP on Semi-Partitioned Systems
32: (2016)
MrsP on Semi-Partitioned Systems
33: (2017)
The UPMSat-2 Satellite: an academic project within aerospace engineering education
34: (2019)
El segmento de tierra del satélite UPMSat-2.
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
