El Diplomado en Mixed-Criticality y Verificación Temporal explora el diseño, implementación y verificación de sistemas de software con diferentes niveles de criticidad, abordando la gestión del tiempo y la predictibilidad en entornos complejos. Se enfoca en metodologías para la análisis y diseño de sistemas embebidos y tiempo real, incluyendo planificación de tareas, sistemas operativos en tiempo real (RTOS) y técnicas de verificación formal, vitales para la seguridad y confiabilidad en sectores como la automoción, la aviación y la industria médica.
El programa proporciona experiencia práctica con herramientas y tecnologías para la simulación, el modelado y la verificación de código, incluyendo análisis de worst-case execution time (WCET) y técnicas de verificación temporal. Esta formación prepara a profesionales como ingenieros de software embebido, arquitectos de sistemas, verificadores formales y especialistas en seguridad, fortaleciendo la empleabilidad en el desarrollo de sistemas críticos.
Palabras clave objetivo (naturales en el texto): sistemas de mixed-criticality, verificación temporal, sistemas embebidos, tiempo real, WCET, RTOS, verificación formal, seguridad funcional.
1.249 €
Aquí tienes el contenido solicitado:
1. Dominio del Análisis de Mixed-Criticality y Verificación Temporal para Sistemas Críticos
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.
4. Implementación Experta de Mixed-Criticality y Verificación Temporal en el Diseño de Sistemas
5. ¿Qué aprenderás en la Maestría en Mixed-Criticality y Verificación Temporal: Diseño y Validación de Sistemas?
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.
Requisitos recomendados: base en aerodinámica, control y estructuras; ES/EN B2+/C1. Ofrecemos bridging tracks si lo necesitas.
Módulo 1 — Introducción al Análisis y Verificación Temporal
1.1 Fundamentos de la Verificación Temporal y Mixed-Criticality
1.2 Conceptos Clave: Tiempos, Plazos y Prioridades
1.3 Modelado de Sistemas Críticos: Arquitecturas y Componentes
1.4 Introducción a las Técnicas de Análisis Estático y Dinámico
1.5 Herramientas y Entornos de Desarrollo para la Verificación
1.6 Importancia de la Verificación Temporal en Diferentes Dominios
1.7 Principios de Diseño para la Verificación
1.8 Estudio de Casos: Ejemplos de Sistemas con Requisitos Temporales
1.9 Desafíos Comunes y Soluciones en la Verificación Temporal
1.10 Tendencias Actuales y Futuras en el Análisis Temporal
2.2 Introducción a la Optimización en Sistemas de Mixed-Criticality
2.2 Técnicas de Optimización para el Rendimiento Crítico
2.3 Verificación Temporal: Fundamentos y Aplicaciones
2.4 Herramientas y Metodologías para la Verificación Temporal
2.5 Optimización del Rendimiento en Tiempo Real
2.6 Estrategias de Programación para Sistemas Críticos
2.7 Diseño de Sistemas Optimizados y Verificables
2.8 Estudio de Casos: Optimización y Verificación en la Práctica
2.9 Medición y Análisis del Rendimiento
2.20 Integración de la Optimización y Verificación en el Ciclo de Vida del Sistema
3.3 Fundamentos del Análisis y Verificación Temporal
3.2 Modelado de Sistemas de Mixed-Criticality
3.3 Técnicas de Verificación Formal
3.4 Análisis de Tiempos en Sistemas Críticos
3.5 Programación y Planificación de Tareas
3.6 Herramientas de Análisis y Verificación
3.7 Estudios de Caso: Aplicaciones Industriales
3.8 Validación y Prueba de Sistemas
3.9 Optimización del Rendimiento Temporal
3.30 Gestión del Ciclo de Vida del Sistema
4.4 Principios de Mixed-Criticality: Fundamentos y Aplicaciones
4.2 Modelado de Sistemas Mixed-Criticality: Técnicas y Herramientas
4.3 Diseño de Arquitecturas para Mixed-Criticality: Hardware y Software
4.4 Verificación y Validación en Sistemas Mixed-Criticality
4.5 Implementación de Planificación y Scheduling para Sistemas Críticos
4.6 Técnicas de Aislamiento y Protección en Sistemas Mixed-Criticality
4.7 Herramientas y Metodologías de Desarrollo para Mixed-Criticality
4.8 Estudios de Caso: Implementación exitosa de Mixed-Criticality
4.9 Integración de Mixed-Criticality en el Diseño de Sistemas
4.40 Desafíos y Tendencias Futuras en Mixed-Criticality
5.5 Arquitectura y Diseño de Sistemas Mixed-Criticality
5.5 Modelado y Simulación de Sistemas Mixed-Criticality
5.3 Verificación Formal de Sistemas Mixed-Criticality
5.4 Implementación de Políticas de Planificación en Sistemas Mixed-Criticality
5.5 Gestión de Recursos y Aislamiento en Sistemas Mixed-Criticality
5.6 Análisis de Tiempos de Ejecución en Sistemas Mixed-Criticality
5.7 Validación y Pruebas de Sistemas Mixed-Criticality
5.8 Diseño de Sistemas Seguros y Confiables con Mixed-Criticality
5.9 Herramientas y Técnicas para el Diseño de Sistemas Mixed-Criticality
5.50 Estudio de Casos: Diseño y Validación de Sistemas Mixed-Criticality en la Práctica
6.6 Introducción a la Fiabilidad: Conceptos Clave en el Desarrollo de Sistemas
6.2 Análisis de Riesgos y Diseño para la Fiabilidad
6.3 Modelado y Simulación de Sistemas Fiables
6.4 Técnicas de Verificación y Validación para Sistemas Fiables
6.5 Diseño de Software Fiable con Mixed-Criticality y Verificación Temporal
6.6 Diseño de Hardware Fiable con Mixed-Criticality y Verificación Temporal
6.7 Estrategias de Mitigación de Fallos y Tolerancia a Fallos
6.8 Pruebas y Calibración para Sistemas Fiables
6.9 Metodologías para la Gestión de la Fiabilidad del Ciclo de Vida
6.60 Estudios de Caso: Aplicaciones Reales de Sistemas Fiables
7.7 Principios de Diseño y Arquitectura de Sistemas Mixed-Criticality
7.2 Modelado Formal y Especificación de Requisitos para Sistemas Críticos
7.3 Verificación y Validación de Modelos de Mixed-Criticality
7.4 Estrategias Avanzadas de Pruebas en Sistemas Mixed-Criticality
7.7 Diseño de Sistemas Seguros y Confiables
7.6 Herramientas de Análisis y Simulación para la Validación de Sistemas
7.7 Técnicas de Optimización del Rendimiento en Sistemas Mixed-Criticality
7.8 Consideraciones de Seguridad Funcional y Certificación
7.9 Gestión de Riesgos en el Desarrollo de Sistemas Mixed-Criticality
7.70 Estudios de Caso: Diseño y Validación de Sistemas Reales
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.
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.
Testimonios de clientes que avalan nuestra calificación