Ingeniería de Hypervisores y Mixed-Criticality — particionado, ARINC653-like, safety islands.
About our Ingeniería de Hypervisores y Mixed-Criticality — particionado, ARINC653-like, safety islands.
Ingeniería de Hypervisores y Mixed-Criticality 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.
Palabras clave objetivo (naturales en el texto): hypervisor, mixed-criticality, ARINC653-like, safety islands, DO-178C, DO-254, RTOS, HIL, sistemas embebidos, certificación aeroespacial.
Ingeniería de Hypervisores y Mixed-Criticality — particionado, ARINC653-like, safety islands.
- Format:
- Duration:
- Time: 1900 H
- Practices: Consult
- Language:
- Credits:
- Registration date: 24-08-2026
- Start date: 18-10-2026
- Available places: 3
252,000 $
Skills and results
What you will learn
Who this program is for:
Ingeniería de Hypervisores y Mixed-Criticality — particionado, ARINC653-like, safety islands.
**Módulo 9 — Arquitectura y Seguridad en Hypervisores**
9.9 Introducción a los Hypervisores: Tipos y conceptos fundamentales
9.9 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.90 Mixed-Criticality: Gestión de la coexistencia de aplicaciones
Capstone-type projects
Admissions, fees and scholarships
Do you have any questions?
Our team is ready to help you. Contact us and we’ll get back to you as soon as possible.