aborda el particionado determinista basado en arquitecturas ARINC653-like para sistemas embebidos en aviación, integrando conceptos avanzados de ISO 26262 y técnicas de aislamiento en safety islands. Este enfoque combina áreas troncales como RTOS, virtualización segura, análisis de fallos FTA, aseguramiento mediante MC/DC y certificación en normas DO-178C para aplicaciones críticas en plataformas aeroespaciales, incluidos UAV y sistemas eVTOL. Las metodologías empleadas comprenden modelado formal, evaluación temporal determinista con Time-Triggered Architecture (TTA) y control de integridad de memoria para garantizar alta confiabilidad operacional en entornos de múltiple criticidad.
Los laboratorios especializados permiten realizar simulación HIL y SIL orientadas a pruebas de integración de hipervisores, monitoreo de latencias y gestión de recursos en tiempo real, asegurando la trazabilidad con herramientas certificables conforme a DO-254, ARP4754A y normas de IEC 61508. Este ecosistema formativo prepara a profesionales en roles de Ingeniero de Sistemas Embebidos, Especialista en Seguridad Funcional, Arquitecto de Software Aeroespacial y Consultor de Certificación, facilitando su inserción en la industria aeroespacial y defensa donde se exigen elevados estándares de seguridad y fiabilidad.
8.500 €
Aprenderás a integrar todo el proceso de desarrollo de producto desde la concepción del modelo hasta su validación final, aplicando metodologías centradas en el usuario. Desarrollarás competencias en diseño paramétrico, ergonomía, simulación, materiales sostenibles, visualización 3D y gestión de manufactura, garantizando soluciones eficientes, seguras y alineadas con los estándares industriales actuales.
3. Hypervisores: Particionado, ARINC653 y Sistemas de Seguridad Mixta
Recomendaciones: Se sugiere una base en aerodinámica, control de sistemas y estructuras. Se requiere un nivel de idioma español/inglés B2+ / C1. Se proporcionan cursos de nivelación (bridging tracks) si fuera necesario.
1.1 Conceptos clave de hypervisores: definición, tipos (Type-1/Type-2) y ventajas en sistemas críticos
1.2 Particionado: separación de software y hardware, dominios de fallo y determinismo
1.3 ARINC653: estructura, particiones, ventanas de tiempo y API básica
1.4 ARINC653-like: adaptaciones para otros dominios (aviónica, defensa) y extensiones
1.5 Particionado temporal y espacial: scheduling de particiones, contención de recursos y latencia
1.6 Safety Islands: diseño aislado de subsistemas críticos, técnicas de contención y monitoreo
1.7 Arquitecturas de hypervisores: opciones de implementación, seguridad, rendimiento y huella
1.8 Gestión de comunicación entre particiones: APIs, canales de datos, semánticas y QoS
1.9 Verificación y certificación: V&V, trazabilidad, cumplimiento de ARINC653 y estándares de seguridad
1.10 Caso práctico: diseño de un sistema crítico aeronáutico con hypervisor y ARINC653 desde especificación hasta validación
2.1 Particionado: fundamentos, objetivos, tipos de particiones (tiempo, espacio, aislamiento) y políticas de administración;
2.2 ARINC653: arquitectura del sistema operativo de particiones, particiones, Scheduling, memory management y services API;
2.3 ARINC653-like: similitudes, diferencias, posibles adaptaciones para entornos no aeronáuticos;
2.4 Mixed-Criticality: definición, clasificación de criticidad, estrategias de programación y aislamiento entre particiones;
2.5 Safety Islands: concepto de islas de seguridad, criterios de contención, interfaces seguras y diseño para fault containment;
2.6 Arquitectura de particionado: hypervisores, particiones hardware-assisted y políticas de gestión de recursos;
2.7 MBSE y ciclo de vida en particionado: modelado MBSE, trazabilidad de requisitos, gestión de cambios y validación continua;
2.8 Verificación y certificación: pruebas de particiones, validación de interfaces, safety cases, cumplimiento de ARINC653 y normas DO-278C/DO-254;
2.9 Diseño de seguridad en particiones: análisis de peligros, mitigaciones, dependencias y aseguramiento de la seguridad;
2.10 Case clinic: go/no-go con matriz de riesgos y decisiones basadas en criterios de criticidad
3.1 Introducción a Hypervisores y Particionado en sistemas navales: conceptos, beneficios y casos de uso
3.2 Tipos de hypervisores aplicados a buques: Type-3, Type-2, y virtualización anidada
3.3 ARINC653 y ARINC653-like: estructuras de particionado, particiones, señales de tiempo y seguridad
3.4 Safety Islands y contención de fallos en sistemas de misión crítica en buques
3.5 Particionado temporal y espacial: determinismo, particiones, latencias y SLA
3.6 Gestión de recursos en entornos de múltiples particiones: CPU, memoria, I/O, y contención
3.7 Arquitecturas de comunicaciones entre particiones: AFDX (ARINC 664), buses y redes, y API de interpartition
3.8 Seguridad y cumplimiento en hypervisores: defensa en profundidad, aislación, confidencialidad
3.9 Validación, verificación y pruebas de hypervisores en sistemas navales: MBSE, simulación, pruebas de regresión
3.10 Caso práctico/Actividad: diseño de una arquitectura de hypervisor para un sistema de combate naval con requerimientos de seguridad y particionado
4.1 Introducción a Hypervisores: definición, beneficios y aplicaciones en sistemas críticos
4.2 Tipos de Hypervisores: Type-4 (bare-metal) vs Type-2, particionado y aislamiento
4.3 Particionado: conceptos de separación temporal y espacial, interfaces y límites de confianza
4.4 ARINC653: principios de particionado, scheduling, inter-partition communication y requisitos de seguridad
4.5 ARINC653-like: enfoques equivalentes y adaptaciones cuando ARINC653 no es aplicable
4.6 Safety Islands: enclaves de seguridad, protección de recursos y contención de fallos
4.7 Seguridad en Hypervisores: modelos de amenaza, endurecimiento y verificación
4.8 Mixed-Criticality y entornos seguros: manejo de criticidad mixta y garantías de seguridad
4.9 Arquitectura de Sistemas Críticos: defensa en profundidad, redundancia y límites de confianza
4.10 Caso práctico: go/no-go con matriz de riesgos y criterios de evaluación
5.1 Introducción a Hypervisores: Conceptos y Tipos
5.2 Particionado: Conceptos, Técnicas y Ventajas
5.3 ARINC653: Estándar para Particionado en Tiempo y Espacio
5.4 Sistemas de Seguridad Mixta: Definición y Desafíos
5.5 Arquitecturas de Seguridad: Diseño y Principios
5.6 Implementación de Safety Islands: Aislamiento y Protección
5.7 Gestión de Recursos en Entornos Mixtos
5.8 Certificación y Cumplimiento en Sistemas Críticos
5.9 Estudios de Caso: Aplicaciones Reales
5.10 Futuro de los Hypervisores en Seguridad Mixta
6. 1 Introducción a los Hypervisores: Conceptos y Tipos (Bare-metal, Hosted)
6. 2 Fundamentos de la Virtualización: CPU, Memoria, Dispositivos
6. 3 Particionamiento: Aislamiento de Recursos y Seguridad
6. 4 ARINC653: Estándar para Sistemas Críticos (Principios y Beneficios)
6. 5 ARINC653-like: Implementaciones y Adaptaciones
6. 6 Safety Islands: Diseño para la Separación de Fallos
6. 7 Seguridad en Hypervisores: Amenazas y Contramedidas
6. 8 Arquitectura de Sistemas Críticos: Diseño Seguro
6. 9 Entornos de Seguridad Mixta: Integración de Nivel Crítico y No Crítico
6. 10 Mixed-Criticality: Gestión de Múltiples Niveles de Seguridad
7.1 Introducción a Hypervisores: Tipos y Arquitecturas
7.2 Particionado de Recursos: CPU, Memoria, I/O
7.3 ARINC673: Estándar y Aplicaciones en Sistemas Críticos
7.4 Safety Islands: Aislamiento y Protección en el Hardware
7.5 Sistemas de Seguridad Mixta: Conceptos y Diseño
7.6 Implementación de Seguridad: Mecanismos y Herramientas
7.7 Gestión de Conflictos y Prioridades en Entornos Mixtos
7.8 Certificación y Cumplimiento Normativo
7.9 Estudios de Caso: Implementaciones Exitosas
7.10 Tendencias Futuras y Desafíos en Hypervisores
8.1 Introducción a los Hypervisores: Conceptos fundamentales y tipos.
8.2 Particionado: Aislamiento de recursos y virtualización.
8.3 ARINC653: Estándar de particionamiento temporal y espacial.
8.4 ARINC653-like: Implementaciones y alternativas al estándar.
8.5 Safety Islands: Diseño y arquitectura para la seguridad.
8.6 Sistemas de Seguridad Mixta: Integración de diferentes niveles de criticidad.
8.7 Entornos de Seguridad Mixta: Desafíos y soluciones.
8.8 Mixed-Criticality: Conceptos, arquitectura y diseño.
8.9 Diseño de Seguridad: Implementación de mecanismos de protección.
8.10 Arquitectura de Sistemas Críticos: Consideraciones de diseño y desarrollo.
9.1 Introducción a los Hypervisores: Tipos y conceptos fundamentales
9.2 Particionado: Mecanismos y técnicas de aislamiento
9.3 ARINC653: Estándar de particionado para sistemas críticos
9.4 ARINC653-like: Implementaciones y adaptaciones
9.5 Safety Islands: Diseño y aplicación en entornos seguros
9.6 Arquitectura de Sistemas Críticos: Principios y desafíos
9.7 Diseño de Seguridad: Estrategias y mejores prácticas
9.8 Seguridad en Sistemas Críticos: Amenazas y contramedidas
9.9 Entornos de Seguridad Mixta: Integración de diferentes niveles de criticidad
9.10 Mixed-Criticality: Gestión de la coexistencia de aplicaciones
10.1 Arquitectura de Hypervisores: Conceptos Fundamentales y Tipos
10.2 Particionado: Aislamiento y Protección de Recursos
10.3 ARINC653: Estándar para Sistemas de Tiempo Real
10.4 ARINC653-like: Implementaciones y Adaptaciones
10.5 Safety Islands: Diseño y Funcionamiento
10.6 Seguridad en Sistemas Críticos: Principios y Prácticas
10.7 Diseño de Seguridad: Metodologías y Herramientas
10.8 Arquitectura de Sistemas Críticos: Consideraciones de Diseño
10.9 Sistemas de Seguridad Mixta: Integración y Desafíos
10.10 Entornos de Seguridad Mixta: Estrategias de Implementación
10.11 Mixed-Criticality: Gestión de Diferentes Niveles de Criticidad
Director Académico del DSD — SEIUM Design & Industrial Design Institute
Profesor de Diseño Industrial, Diseño de Vehículos, Transportation Design, UX/HMI, Color & Trim, Iluminación y Desarrollo de Producto
El Prof. Luca Benedetti, de nacionalidad italiana, es Director Académico del DSD — SEIUM Design & Industrial Design Institute y responsable de diseño industrial, de producto y vehículos, experiencia de usuario, interacción persona-máquina, interfaces HMI, Color & Trim y prototipado.
Director Académico del SRA — SEIUM Robotics & Autonomous Systems Institute
Profesor de Robótica, Automatización Inteligente, Sistemas Autónomos, Percepción Artificial, Control Avanzado y Mecatrónica.
El Prof. Kenji Takahashi, de nacionalidad japonesa, es Director Académico del SRA — SEIUM Robotics & Autonomous Systems Institute y responsable de robótica industrial, robots móviles, mecatrónica, control avanzado, percepción artificial, navegación e inteligencia embebida y autónoma.
Directora Académica del DAIS — SEIUM Data, Artificial Intelligence & Simulation Institute
Profesora de Inteligencia Artificial, Ciencia de Datos, Ingeniería de Datos, MLOps, Simulación, Gemelos Digitales y Computación Científica
La Dra. Lucía Hernández Vega, de nacionalidad española, es Directora Académica del DAIS — SEIUM Data, Artificial Intelligence & Simulation Institute y responsable de inteligencia artificial, ciencia e ingeniería de datos, visión artificial, IA generativa, MLOps y gemelos digitales.
Director Académico del EET — SEIUM Electronics & Embedded Technologies Institute
Profesor de Electrónica, Sistemas Embebidos, Telecomunicaciones, Diseño de Hardware, FPGA, IoT y Sistemas de Tiempo Real
El Dr. Kevin O’Connor, de nacionalidad irlandesa, es Director Académico del EET — SEIUM Electronics & Embedded Technologies Institute y responsable de electrónica, sistemas embebidos, telecomunicaciones, diseño de circuitos, microcontroladores, FPGA, IoT y desarrollo de hardware electrónico.
Director Académico del SNO — SEIUM Naval & Offshore Institute
Profesor de Arquitectura Naval, Ingeniería Marítima, Sistemas de Propulsión, Construcción Naval e Ingeniería Offshore
El Dr. Javier Ferrer Salvatierra, de nacionalidad española, es Director Académico del SNO — SEIUM Naval & Offshore Institute y responsable de arquitectura naval, ingeniería marítima, construcción, propulsión, sistemas auxiliares, ingeniería offshore, seguridad y descarbonización marítima.
Directora Académica del RSC — SEIUM Rail & Smart Cities Institute
Profesora de Ingeniería Ferroviaria, Señalización, Movilidad Urbana, Infraestructuras Inteligentes y Sistemas de Transporte
La Dra. Isabel Martín Robles, de nacionalidad española, es Directora Académica del RSC — SEIUM Rail & Smart Cities Institute y profesora responsable de las áreas de ingeniería ferroviaria, señalización, sistemas de control del tráfico, movilidad urbana, transporte inteligente, infraestructuras conectadas y planificación de ciudades inteligentes.
Director Académico del SEN — SEIUM Energy & Networks Institute
Profesor de Sistemas Eléctricos de Potencia, Smart Grids, Energías Renovables, Almacenamiento y Digitalización de Redes
El Dr. Carlos Navarro Sanz, de nacionalidad española, es Director Académico del SEN — SEIUM Energy & Networks Institute y responsable de sistemas eléctricos, redes inteligentes, renovables, almacenamiento, operación, protecciones, subestaciones, digitalización y planificación energética.
Director Académico del Departamento PTW — Motorcycle & Two-Wheel Engineering
Profesor de Ingeniería de Motocicletas, Dinámica de Vehículos de Dos Ruedas, Chasis, Suspensiones y Sistemas de Propulsión
El Prof. Hiroshi Nakamura, de nacionalidad japonesa, es Director Académico del Dpto. de Motorcycle & Two-Wheel Engineering — PTW de SEIUM y responsable de ingeniería de motocicletas, dinámica, chasis, suspensiones, propulsión térmica y eléctrica, telemetría y validación experimental.
Director Académico del SAS — SEIUM Aero & Space Institute
Profesor de Ingeniería Aeroespacial, Helicópteros, Tiltrotor, eVTOL, Aviónica y Sistemas de Vuelo
El Dr. James Whitmore, de nacionalidad británica, es Director Académico del SAS — SEIUM Aero & Space Institute y responsable de ingeniería aeroespacial, diseño de aeronaves, helicópteros, eVTOL, movilidad aérea, aviónica, control de vuelo, sistemas espaciales y certificación.
Director Académico del Departamento EMH — Electromobility, Batteries & Hydrogen
Profesor de Electromovilidad, Ingeniería de Baterías, Sistemas BMS, Electrónica de Potencia e Hidrógeno Aplicado a la Movilidad
El Dr. Markus Schneider, de nacionalidad alemana, es Director Académico del Dpto. de Electromobility, Batteries & Hydrogen — EMH de SEIUM y responsable de electromovilidad, baterías, BMS, electrónica de potencia, infraestructura de recarga e hidrógeno aplicado al transporte.
Director Académico del SEIUM MotorSport Institute — SMI
Profesor de Ingeniería Motorsport, Dinámica Vehicular, Aerodinámica de Competición y Race Performance Engineering
El Dr. Alessandro Moretti, de nacionalidad italiana, es Director Académico del SEIUM MotorSport Institute — SMI y responsable de ingeniería motorsport, dinámica vehicular, aerodinámica de competición, chasis, suspensiones, telemetría y optimización del rendimiento en pista.
Consulta “Calendario & convocatorias”, “Becas & ayudas” y “Tasas & financiación” en el mega-menú de SEIUM
Nuestro equipo está listo para ayudarte. Contáctanos y te responderemos lo antes posible.
Si, contamos con certificacion internacional
Sí: modelos experimentales, datos reales, simulaciones aplicadas, entornos profesionales, casos de estudio reales.
No es obligatoria. Ofrecemos tracks de nivelación y tutorización
Totalmente. Cubre e-propulsión, integración y normativa emergente (SC-VTOL).
Recomendado. También hay retos internos y consorcios.
Sí. Modalidad online/híbrida con laboratorios planificados y soporte de visados (ver “Visado & residencia”).
Testimonios de clientes que avalan nuestra calificación