Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Miguel Angel de Miguel Cabello
Categoría Investigador
TITULAR UNIVERSIDAD
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
INGENIERIA TELEMATICA
Grupo de Investigación:
Sistemas de tiempo real y arquitectura de servicios telemáticos
Email (Directorio UPM)
miguel.demiguel
upm.es
Teléfono (Directorio UPM)
910672125
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
27 Proyectos de I+D+i
1: (2007)
ARTIST2 Network of Excellence on Embedded Systems Design
2: (2007)
Ayudas a la Realización del Proyecto FP6-IST MODELWARE
3: (2007)
e-Magerit. Aplicaciones Emergentes para Internet de Nueva Generación
4: (2007)
HIJA: High Integrity Java Applications (Acción Complementaria)
5: (2007)
MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
6: (2007)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
7: (2008)
ARTIST2 Network of Excellence on Embedded Systems Design
8: (2008)
MORE Network-centric Middleware for group communications and resource sharing across heterogeneous embedded systems
9: (2008)
THREAD: Soporte integral para sistemas empotrados de tiempo real distribuidos y abiertos
10: (2009)
COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
11: (2009)
CONTRACT. N. 004527 - ARTIST2 - EMBEDDED SYSTEMS DESIGN.
12: (2009)
CONTRACT N. 032939 - MORE
13: (2009)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
14: (2010)
PLATAFORMAS DE TIEMPO REAL PARA DISEÑO DE SISTEMAS EMPORTRADOS BASADA EN MODELOS
15: (2010)
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
16: (2010)
13TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIM
17: (2011)
MultiPARTES: Multi-cores Partitioning for Trusted Embedded Systems
18: (2011)
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
19: (2012)
CREACIÓN DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTERNACIONAL DE MONTEGANCEDO
20: (2012)
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
21: (2013)
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
22: (2014)
CREACION DE UN ECOSISTEMA DE MIDDLEWARE ABIERTO EN EL CAMPUS DE EXCELENCIA INTENACIONAL MONTEGANCEDO
23: (2014)
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
24: (2015)
MULTIPARTES: MULTI-CORES PARTITIONING FOR TRUSTED EMBEDDED SYSTEMS
25: (2015)
M2C2: Sistemas ciber-físicos de criticidad mixta sobre plataformas multinúcleo
26: (2018)
PRECON-I4: Sistemas informáticos predecibles y confiables para la industria 4.0
27: (2018)
SISTEMAS CIBER-FÍSICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS MULTINÚCLEO
Formación de Investigadores y Movilidad
1 Tesis Doctorales
1: (2012)
Application of Model-Driven Techniques to the Design of Non-Functional Concerns of Service-Oriented Software Systems
Difusión de Resultados de Investigación
10 Artículos en revistas
1: (2008)
Integration of Safety Analysis in Model-Driven Software Development
2: (2012)
Model-based Development for RTSJ Platforms
3: (2013)
Diseño de un Software de Intermediación de Comunicación para Sistemas Distribuidos de Tiempo Real Críticos en Java
4: (2014)
A Model-Driven Strategy for Including Security Aspects in Web Services-Based Embedded Services
5: (2014)
Estrategia Guiada por Modelos para incluir Aspectos de Seguridad en Sistemas Empotrados Basados en Servicios Web
6: (2014)
Estrategia Guiada por Modelos para incluir Aspectos de Seguridad en Sistemas Empotrados Basados en Servicios Web
7: (2014)
Experience in spacecraft on-board software development
8: (2015)
Automated Model-based Testing Based on an Agnostic-platform Modeling Language
9: (2017)
Timing analysis tools in a model-driven development environment
10: (2017)
Timing analysis tools in a model-driven development environment
3 Capítulos de libros
1: (2011)
Reusable Modelling Tool Assets: Deployment of MDA Artefacts
2: (2012)
Reusable Modelling Tool Assets: Deployment of MDA Artefacts.
3: (2013)
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
1 Libros
1: (2007)
Proceedings The 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007)
2 Otras Publicaciones
1: (2012)
Model Driven Development of High Integrity Applications Based on Reusable reusable assets oriented to the development of high-integrity applications.
2: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
19 Ponencia en Congresos
1: (2007)
Application of Safety Analyses in Model Driven Development
2: (2007)
Predictable Serialization in Java
3: (2007)
RMI-HRT: Remote Method Invocation - Hard Real Time
4: (2008)
Model Based Development of Quality-Aware Software Services, 10th IEEE International Symposium on Object/component/service-Oriented Real-Time Distributed Computing (ISORC 2008).
5: (2010)
Analysis of Quality Dependencies in the Composition of Software Architectures
6: (2010)
Evaluating non-functional properties globally
7: (2010)
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.
8: (2010)
On the requirements for quality composability modeling and analysis
9: (2011)
Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures
10: (2011)
Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures
11: (2012)
Model Driven Development of High Integrity Applications Based on Reusable Assets
12: (2013)
Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach.
13: (2014)
A Toolset for the Development of Mixed-Criticality Partitioned Systems.
14: (2015)
Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language
15: (2015)
Safety Concept for a Mixed Criticality On-Board Software System
16: (2016)
Timing analysis in a model-driven development environment
17: (2016)
Performance analysis of persistence technologies for cloud repositories of models
18: (2017)
The use of Self Organizing Maps in hydrological modeling with SWAT
19: (2017)
The use of Self Organizing Maps in hydrological modeling with SWAT
• 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)
