Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Juan Rafael Zamorano Flores
Categoría Investigador
TITULAR UNIVERSIDAD
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
ARQUITECTURA Y TECNOLOGÍA DE SISTEMAS INFORMÁTICOS (N)
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)
juanrafael.zamorano
upm.es
Teléfono (Directorio UPM)
910672865
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
32 Proyectos de I+D+i
1: (2007)
ASSERT: INGENIERÍA DE SISTEMAS Y SOFTWARE BASADA EN PRUEBAS PARA APLICACIONES DE TIEMPO REAL
2: (2007)
ASSERT: Ingeniería de sistemas y software basada en pruebas para aplicaciones de tiempo real (Acción Complementaria)
3: (2007)
e-Magerit. Aplicaciones Emergentes para Internet de Nueva Generación
4: (2007)
Renovación del sistema móvil ARGOS
5: (2007)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
6: (2008)
LAB Activities ¿ Improvement and Documentation for the Assert Virtual Machine
7: (2008)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
8: (2009)
CONTRACT N. 21392/08/NL/JK. - LAB ACTIVITIES.
9: (2009)
CURSO FORMACION
10: (2009)
EDUCATION PRESTIGUE PROGRAMME 2008 - N. P1090383
11: (2009)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
12: (2010)
EDUCATION PRESTIGUE PROGRAMME 2008 - N. P1090383
13: (2010)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
14: (2011)
EDUCATION PRESTIGUE PROGRAMME 2008 - N. P1090383
15: (2011)
MultiPARTES: Multi-cores Partitioning for Trusted Embedded Systems
16: (2014)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
17: (2014)
LABORATORIO DE SISTEMAS EMPOTRADOS E INALABRICOS INTEL
18: (2014)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
19: (2015)
EAGLEEYE EVOLUTION TOWARDS TIME SPACE PARTITIONING
20: (2015)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
21: (2015)
MULTIPARTES: MULTI-CORES PARTITIONING FOR TRUSTED EMBEDDED SYSTEMS
22: (2015)
M2C2: Sistemas ciber-físicos de criticidad mixta sobre plataformas multinúcleo
23: (2016)
Eagle Eye TSP Porting to HW
24: (2016)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
25: (2017)
Master EIT Digital 2017-HCID: EIT Digital Master School Programmes
26: (2017)
MASTES EIT DIGITAL IN HUMAN COMPUTER INTERACTION AND DESIGN (HCID)
27: (2017)
MODEL BASED SOFTWARE DEVELOPMENT LIFECYCLE
28: (2018)
MASTER EIT DIGITAL IN HUMAN COMPUTER INTERACTION AND DESIGN (HCID) 2017
29: (2018)
Master EIT Digital 2018-HCID : EIT Digital Master School Programmes
30: (2018)
PRECON-I4: Sistemas informáticos predecibles y confiables para la industria 4.0
31: (2018)
SISTEMAS CIBER-FÍSICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS MULTINÚCLEO
32: (2019)
GONIECI-I (Goniómetro IECISA Fase I)
Difusión de Resultados de Investigación
21 Artículos en revistas
1: (2007)
A framework for lab work management in mass courses. Application to Low Level Input/Output without hardware
2: (2007)
Building High-Integrity Distributed System with Ravenscar Restrictions , XXVII, 2, pp-29-36 , August 2007. ISSN:
3: (2007)
Implementing the new Ada 2005 real-time features on a bare board kernel.
4: (2010)
Argos: An advanced in-vehicle data recorder on a massively sensorized vehicle for car driver behavior experimentation
5: (2010)
Experience in programming device drivers with the Ravenscar profile
6: (2011)
Ada User Guide for LEGO MINDSTORMS NXT.
7: (2013)
Ada Real-Time Services and Virtualization.
8: (2013)
On real-time partitioned multicore systems.
9: (2014)
Argos-ESL: A versatile tool for planning and managing experiments on driving behavior
10: (2014)
Experience in spacecraft on-board software development
11: (2015)
Using Internet-based Technologies in a University Satellite Project
12: (2016)
In support of extending the Ravenscar profile
13: (2017)
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
14: (2017)
The Design and Implementation of the UPMSAT-2 Attitude Control System
15: (2017)
The Design and Implementation of the UPMSAT-2 Attitude Control System
16: (2017)
The UPMSat-2 Satellite: An academic project within aerospace engineering education
17: (2017)
Timing analysis tools in a model-driven development environment
18: (2017)
Timing analysis tools in a model-driven development environment
19: (2018)
On Protocols for Accessing Protected Objects on Multiprocessors.
20: (2018)
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
21: (2018)
Timing Analysis of the UPMSat-2 Communications Subsystem
13 Capítulos de libros
1: (2007)
Laboratory Work Management Environment for Distance Education in Computer Engineering
2: (2008)
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements
3: (2008)
The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
4: (2008)
A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies
5: (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.
6: (2010)
Design and Implementation of Real-Time Distributed Systems with the ASSERT Virtual Machine
7: (2011)
Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model.
8: (2011)
ORK+/XtratuM: An Open Partitioning Platform for Ada.
9: (2013)
Static analysis of WCET in a satellite software subsystem
10: (2013)
Time and space partitioning the EagleEye reference mission.
11: (2015)
Schedulability analysis of PWM tasks for the UPMSat-2 ADCS
12: (2017)
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
13: (2018)
On the effect of protected entry servicing policies on the response time of Ada tasks.
4 Otras Publicaciones
1: (2011)
Ada Real-Time Services and Virtualization.
2: (2012)
A Real-Time Computer Control Platform for an Experimental Satellite
3: (2015)
Ada, the programming language of choice for the UPMSAT-2 satellite
4: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
27 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: (2010)
Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos
5: (2011)
Extending ASSERT for HW/SW Co-design
6: (2012)
Including Hardware/Software Co-design in the ASSERT Model Driven Engineering Process.. Reliable Software Technologies
7: (2012)
Time and Space Partition Platform for Safe and Secure Flight Software. Data Systems in Aerospace ?
8: (2012)
A Platform for Real-Time Control Education with LEGO MINDSTORMS. In P. Pakshin (ed.), I .
9: (2012)
Analysis of WCET in an experimental satellite software development.
10: (2013)
Arquitectura de tiempo real para el control de actitud en un satélite experimental.
11: (2013)
Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.
12: (2013)
Static analysis of WCET in a satellite software subsystem
13: (2013)
Time and Space Partitioning the EagleEye Reference Mission
14: (2014)
Memory Isolation in Many-Core Embedded Systems
15: (2014)
Memory Isolation in Many-Core Embedded Systems.
16: (2014)
Model-Driven Design of Real-Time Software for an Experimental Satellite
17: (2015)
Ada, the programming language of choice for the UPMSAT-2 satellite.
18: (2015)
ARINC-653 Inter-partition Communications and the Ravenscar Profile
19: (2015)
ARINC-653 Inter-partition Communications and the Ravenscar Profile
20: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
21: (2015)
Using Internet-based Technologies in a University Satellite Project
22: (2016)
Timing analysis in a model-driven development environment
23: (2016)
Análisis de herramientas de generación automática de código.
24: (2016)
MrsP on Semi-Partitioned Systems
25: (2016)
MrsP on Semi-Partitioned Systems
26: (2017)
The UPMSat-2 Satellite: an academic project within aerospace engineering education
27: (2019)
El segmento de tierra del satélite UPMSat-2.
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2022 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)
