El Diplomado en Particionado y Aislamiento tipo ARINC-653 se enfoca en el diseño y la implementación de sistemas operativos con particionado de tiempo y espacio, esenciales para la seguridad y confiabilidad de sistemas aeronáuticos. Aborda la comprensión profunda de la especificación ARINC-653, incluyendo la configuración y administración de particiones, la gestión de recursos y la comunicación interparticiones.
El diplomado proporciona conocimientos prácticos en el uso de herramientas de desarrollo y simulación para sistemas embebidos, permitiendo la creación de aplicaciones seguras y aisladas que cumplen con los requisitos de certificación DO-178C. Se exploran las técnicas de análisis estático, análisis de tiempo real y pruebas de integración para asegurar el correcto funcionamiento de los sistemas, así como la implementación de estrategias de seguridad cibernética en entornos aeronáuticos.
Palabras clave objetivo (naturales en el texto): ARINC-653, particionado, aislamiento, sistemas embebidos, DO-178C, tiempo real, certificación aeronáutica, seguridad cibernética, diplomado aeronáutico.
950 €
## ¿Qué Aprenderás?
A través de este curso, dominarás los fundamentos y las aplicaciones prácticas de ARINC-653, enfocándote en el diseño y la implementación de sistemas embebidos robustos y seguros. Te sumergirás en los conceptos clave para desarrollar sistemas particionados y aislados, cruciales en entornos críticos como la aviación.
1. Dominarás la arquitectura y los principios de ARINC-653, entendiendo su papel en la creación de sistemas embebidos con alta fiabilidad y seguridad.
2. Aprenderás a diseñar y configurar particiones, garantizando el aislamiento entre diferentes aplicaciones y tareas.
3. Profundizarás en las técnicas de gestión de recursos dentro de las particiones, optimizando el rendimiento y la eficiencia de los sistemas.
4. Estudiarás los mecanismos de comunicación e interacción entre particiones, incluyendo el uso de puertos y buffers.
5. Explorarás las herramientas y metodologías de desarrollo para sistemas ARINC-653, desde la especificación hasta la implementación y prueba.
6. Analizarás casos de estudio reales y ejemplos prácticos para afianzar tus conocimientos y habilidades.
7. Comprenderás los desafíos y las mejores prácticas en el diseño de sistemas embebidos seguros y resilientes.
8. Adquirirás las habilidades necesarias para cumplir con los requisitos de certificación y normativas relevantes para sistemas ARINC-653.
## ¿Qué Aprenderás en el Curso de Construcción Experta en ARINC-653?
Este curso te sumergirá en el mundo de la programación y la implementación del estándar ARINC-653, dotándote de las habilidades necesarias para diseñar y construir sistemas aeronáuticos seguros y robustos. Aprenderás a dominar los conceptos clave de partición, aislamiento y arquitecturas seguras, fundamentales para el desarrollo de software crítico en la aviación. A continuación, se detallan los conocimientos y habilidades que adquirirás:
1. **Fundamentos de ARINC-653:**
* Comprenderás la filosofía y los objetivos de ARINC-653.
* Analizarás la arquitectura y los componentes clave de este estándar.
* Explorarás las ventajas de ARINC-653 en el desarrollo de sistemas aeronáuticos.
2. **Partición y Aislamiento:**
* Dominarás los conceptos de partición de recursos (CPU, memoria, tiempo).
* Aprenderás a implementar el aislamiento entre aplicaciones y particiones.
* Estudiarás las técnicas para garantizar la independencia de las particiones y la prevención de interferencias.
3. **Arquitecturas Seguras:**
* Explorarás las arquitecturas de sistemas embebidos compatibles con ARINC-653.
* Aprenderás a diseñar sistemas con alta disponibilidad y tolerancia a fallos.
* Analizarás las estrategias de seguridad para mitigar riesgos y cumplir con los requisitos de certificación.
4. **Programación y Desarrollo:**
* Te familiarizarás con los lenguajes de programación utilizados en ARINC-653 (Ada, C/C++).
* Aprenderás a utilizar las APIs de ARINC-653 para la gestión de tareas, memoria y comunicación entre particiones.
* Desarrollarás aplicaciones y módulos siguiendo las mejores prácticas de programación segura.
5. **Herramientas y Entornos de Desarrollo:**
* Conocerás las herramientas de desarrollo y simulación para ARINC-653.
* Aprenderás a utilizar los sistemas operativos en tiempo real (RTOS) compatibles.
* Realizarás pruebas y validación de tus aplicaciones.
6. **Certificación y Cumplimiento Normativo:**
* Entenderás los requisitos de certificación para sistemas ARINC-653 (DO-178C).
* Aprenderás a aplicar las metodologías y procesos necesarios para el cumplimiento normativo.
* Explorarás las implicaciones de la seguridad funcional y la ciberseguridad en los sistemas aeronáuticos.
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. Excelencia en ARINC-653: Particionado, Aislamiento y Creación de Aplicaciones Aeronáuticas Confiables
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 sugeridos: Se recomienda tener conocimientos básicos de aerodinámica, control automático y estructuras aeronáuticas. Es imprescindible un dominio del idioma español y/o inglés a nivel B2+/C1. Si necesitas apoyo, ofrecemos programas de preparación (bridging tracks) para facilitar tu ingreso.
1.1 Visión General de ARINC-653: Orígenes y Evolución
1.2 Conceptos Fundamentales: Particionado, Aislamiento y Determinismo
1.3 Arquitectura de Software ARINC-653: Componentes y Estructura
1.4 Ventajas y Desafíos de la Implementación de ARINC-653
1.5 Introducción a las Especificaciones ARINC-653
1.6 Entornos Operativos: Sistemas Operativos en Tiempo Real (RTOS)
1.7 Modelos de Partición: Espacial, Temporal y Mixta
1.8 Mecanismos de Aislamiento: Memoria, Tiempo y Comunicación
1.9 Diseño de Sistemas Embebidos: Consideraciones Iniciales
1.10 Caso de Estudio: Aplicación de ARINC-653 en un Sistema Aeronáutico Genérico
2.2 Introducción a ARINC-653: Estándares y Conceptos Fundamentales
2.2 Arquitectura de Sistemas Embebidos: Componentes y Diseño
2.3 Principios de Particionado: Aislamiento y Seguridad
2.4 Diseño de Aplicaciones Aeronáuticas: Requisitos y Consideraciones
2.5 Herramientas y Entornos de Desarrollo ARINC-653
2.6 Ciclo de Vida del Software Aeronáutico: Fases y Metodologías
2.7 Análisis de Casos de Estudio: Ejemplos Prácticos y Aplicaciones
2.8 Evaluación de Rendimiento y Optimización de Sistemas
2.9 Certificación y Cumplimiento Normativo en la Aviación
2.20 Tendencias Futuras en el Diseño de Sistemas Aeronáuticos
2.2 Particionado de Recursos: CPU, Memoria y Periféricos
2.2 Aislamiento de Aplicaciones: Espacios de Dirección y Protección
2.3 Gestión de Tareas y Planificación en Sistemas ARINC-653
2.4 Comunicación Inter-Partición: Intercambio de Datos Seguro
2.5 Diseño de Arquitecturas Seguras: Redundancia y Tolerancia a Fallos
2.6 Verificación y Validación de Particiones: Pruebas y Análisis
2.7 Implementación de Mecanismos de Control de Acceso
2.8 Herramientas de Análisis de Código Estático y Dinámico
2.9 Integración con Sistemas Operativos en Tiempo Real (RTOS)
2.20 Mejores Prácticas en el Diseño de Particiones Seguras
3.2 Fundamentos de Software Seguro: Principios y Prácticas
3.2 Diseño Seguro de Software: Diseño por Contrato y Modelado
3.3 Lenguajes de Programación para Sistemas Aeronáuticos: Ada, C
3.4 Desarrollo Basado en Modelos: Ingeniería Dirigida por Modelos (MDE)
3.5 Pruebas de Software: Pruebas Unitarias, Integrales y de Sistema
3.6 Gestión de Errores y Manejo de Excepciones
3.7 Análisis de Riesgos y Mitigación de Vulnerabilidades
3.8 Implementación de Mecanismos de Seguridad: Autenticación, Autorización
3.9 Herramientas de Desarrollo Seguro: Análisis Estático y Dinámico
3.20 Certificación de Software Aeronáutico: DO-278C y Estándares
4.2 Diseño de Aplicaciones Aeronáuticas: Requisitos y Especificaciones
4.2 Sistemas de Control de Vuelo: Aplicaciones Críticas
4.3 Sistemas de Gestión del Motor: Monitoreo y Control
4.4 Sistemas de Comunicación: Enlace de Datos y Transmisión
4.5 Sistemas de Navegación: GPS, INS y Sistemas de Referencia
4.6 Sistemas de Visualización: Pantallas de Vuelo y HUD
4.7 Diseño de Interfaces de Usuario (UI) para Aviación
4.8 Diseño de Sistemas HIL (Hardware-in-the-Loop)
4.9 Validación y Verificación de Aplicaciones Aeronáuticas
4.20 Casos de Estudio: Aplicaciones en Diferentes Plataformas
5.2 Aviación Confiable: Principios y Metodologías
5.2 Diseño de Sistemas Tolerantes a Fallos: Redundancia y Resiliencia
5.3 Análisis de Fiabilidad, Disponibilidad y Mantenibilidad (RAM)
5.4 Sistemas de Monitorización y Diagnóstico: Detección de Fallos
5.5 Gestión de la Seguridad Operacional (SMS)
5.6 Factores Humanos en el Diseño de Sistemas Aeronáuticos
5.7 Análisis de Riesgos y Mitigación en Aviación
5.8 Implementación de Sistemas de Control de Calidad
5.9 Mantenimiento Predictivo y Preventivo
5.20 Normativas y Estándares de Seguridad en Aviación
6.2 Arquitectura de Software Embebido Aeroespacial
6.2 Sistemas de Tiempo Real: RTOS y Planificación
6.3 Protocolos de Comunicación Aeroespacial: ARINC, MIL-STD
6.4 Sensores y Actuadores: Integración y Control
6.5 Diseño de Sistemas Críticos: COTS y Diseño a Medida
6.6 Sistemas de Adquisición de Datos (DAS)
6.7 Procesamiento de Señales y Filtrado
6.8 Diseño de Hardware: Electrónica y Diseño de Circuitos
6.9 Pruebas y Certificación de Software Aeroespacial
6.20 Tendencias en el Desarrollo de Software Embebido Aeroespacial
7.2 Diseño de Software Aeroespacial: Requisitos y Especificaciones
7.2 Sistemas de Control de Vuelo Avanzados: Autonomía y Robótica
7.3 Sistemas de Gestión de Energía y Combustible
7.4 Sistemas de Comunicación Satelital y Terrestre
7.5 Análisis de Datos de Vuelo y Big Data en Aviación
7.6 Ciberseguridad en Sistemas Aeroespaciales
7.7 Diseño de Interfaces Hombre-Máquina (HMI)
7.8 Desarrollo de Software para Drones y UAS
7.9 Integración de Sistemas de a Bordo
7.20 Innovaciones en Aplicaciones de Software Aeroespacial
8.2 Arquitectura de Sistemas Embebidos Aeronáuticos: Diseño y Componentes
8.2 Gestión de Recursos y Planificación en Sistemas Embebidos
8.3 Protocolos de Comunicación en Aviación: CAN, Ethernet
8.4 Diseño de Sistemas Seguros y Certificables
8.5 Sistemas de Monitorización y Control de Salud
8.6 Integración de Sensores y Actuadores en Sistemas Aeronáuticos
8.7 Pruebas de Software y Hardware en Sistemas Embebidos
8.8 Diseño de Sistemas HIL (Hardware-in-the-Loop) para Aviación
8.9 Normativas y Estándares para Sistemas Embebidos Aeronáuticos
8.20 Casos de Estudio: Desarrollo de Sistemas Embebidos en Aviación
3.3 Introducción a ARINC-653: Orígenes y propósito
3.2 Estructura y características clave de ARINC-653
3.3 Beneficios y desafíos del particionado
3.4 Comparación con otros sistemas operativos en tiempo real
3.5 Terminología esencial de ARINC-653
3.6 Entornos de desarrollo y simulación para ARINC-653
3.7 Casos de uso iniciales y ejemplos prácticos
3.8 El papel de ARINC-653 en la seguridad aeronáutica
3.9 Normativas y estándares relacionados con ARINC-653
3.30 Tendencias futuras en el uso de ARINC-653
2.3 Conceptos de particionado en ARINC-653
2.2 Tipos de aislamiento: tiempo, espacio y recursos
2.3 Arquitectura de un sistema ARINC-653: particiones y procesos
2.4 Comunicación entre particiones: puertos y buffers
2.5 Gestión de recursos: memoria, CPU y dispositivos
2.6 Mecanismos de interrupción y sincronización
2.7 Implementación de aislamiento en sistemas embebidos
2.8 Diseño de arquitecturas seguras y robustas
2.9 Consideraciones de seguridad y mitigación de riesgos
2.30 Ejemplos de arquitecturas ARINC-653 en la práctica
3.3 Fundamentos de diseño de software seguro
3.2 Principios de desarrollo de software ARINC-653
3.3 Diseño de particiones y procesos seguros
3.4 Gestión de errores y manejo de excepciones
3.5 Implementación de sistemas de seguridad críticos
3.6 Pruebas y verificación de software
3.7 Herramientas de análisis estático y dinámico
3.8 Cumplimiento de estándares de seguridad aeronáutica
3.9 Integración de software en sistemas ARINC-653
3.30 Estudio de casos: Análisis de vulnerabilidades y soluciones
4.3 Requisitos para aplicaciones aeronáuticas confiables
4.2 Diseño de aplicaciones basadas en ARINC-653
4.3 Desarrollo de aplicaciones seguras y robustas
4.4 Gestión de la integridad de los datos
4.5 Implementación de redundancia y tolerancia a fallos
4.6 Pruebas funcionales y de rendimiento
4.7 Integración de hardware y software
4.8 Consideraciones de seguridad y certificación
4.9 Ejemplos de aplicaciones aeronáuticas exitosas
4.30 Desarrollo de aplicaciones para diferentes plataformas
5.3 La importancia de la confiabilidad en la aviación
5.2 Aplicación de ARINC-653 para la aviación confiable
5.3 Desarrollo de software para sistemas críticos
5.4 Diseño de sistemas tolerantes a fallos
5.5 Gestión de la seguridad y riesgos en la aviación
5.6 Implementación de pruebas exhaustivas
5.7 Análisis de fallas y mitigación de riesgos
5.8 Certificación y cumplimiento de estándares
5.9 Ejemplos de aplicaciones en aviación comercial
5.30 Futuro de ARINC-653 en la aviación
6.3 Introducción al software embebido aeroespacial
6.2 Diseño de sistemas embebidos basados en ARINC-653
6.3 Desarrollo de software en tiempo real
6.4 Arquitecturas de sistemas embebidos para el espacio
6.5 Implementación de sistemas de control de vuelo
6.6 Desarrollo de sistemas de comunicación seguros
6.7 Integración de hardware y software
6.8 Pruebas y verificación de software embebido
6.9 Consideraciones de certificación y seguridad
6.30 Tendencias y futuro del software embebido aeroespacial
7.3 Requisitos de las aplicaciones aeroespaciales
7.2 Diseño de software basado en ARINC-653
7.3 Desarrollo de aplicaciones seguras y robustas
7.4 Integración de hardware y software aeroespacial
7.5 Gestión de la seguridad y riesgos en aplicaciones
7.6 Implementación de redundancia y tolerancia a fallos
7.7 Pruebas y certificación de aplicaciones
7.8 Ejemplos de aplicaciones aeroespaciales
7.9 Tendencias y futuro de las aplicaciones
7.30 Análisis de casos de estudio de aplicaciones
8.3 Diseño de sistemas embebidos aeronáuticos
8.2 Arquitectura de sistemas basados en ARINC-653
8.3 Desarrollo de software para sistemas aeronáuticos
8.4 Implementación de sistemas críticos
8.5 Integración de hardware y software
8.6 Pruebas y verificación de sistemas
8.7 Gestión de la seguridad y riesgos
8.8 Certificación y cumplimiento de estándares
8.9 Ejemplos de sistemas aeronáuticos
8.30 Tendencias en sistemas aeronáuticos embebidos
4.4 Diseño e implementación de sistemas embebidos en aeronaves.
4.2 Arquitecturas seguras y particionamiento de aplicaciones.
4.3 Aislamiento y comunicación entre particiones en ARINC-653.
4.4 Desarrollo de software aeronáutico con ARINC-653.
4.5 Requisitos de certificación y estándares de la industria.
4.6 Diseño y análisis de sistemas críticos para la aviación.
4.7 Integración de sistemas y gestión del ciclo de vida del software.
4.8 Pruebas y validación de aplicaciones ARINC-653.
4.9 Herramientas y tecnologías para el desarrollo ARINC-653.
4.40 Estudios de caso y mejores prácticas en el desarrollo de software aeronáutico.
5.5 Fundamentos de ARINC-653: objetivos y beneficios
5.5 Conceptos de particionado y aislamiento
5.3 Arquitectura básica de un sistema ARINC-653
5.4 Entorno de desarrollo y herramientas
5.5 Lenguajes de programación y estándares
5.6 Ciclo de vida del desarrollo de software seguro
5.7 Certificación y cumplimiento normativo
5.8 Casos de estudio: ejemplos de sistemas ARINC-653
5.9 Desafíos y tendencias futuras
5.50 Introducción a la seguridad funcional en aviación
5.5 Diseño de particiones: creación y configuración
5.5 Aislamiento de recursos: CPU, memoria, periféricos
5.3 Comunicación entre particiones: mecanismos y protocolos
5.4 Gestión de tiempo y scheduling en ARINC-653
5.5 Diseño de arquitecturas seguras y robustas
5.6 Consideraciones de seguridad y protección contra fallos
5.7 Validación y verificación de diseños particionados
5.8 Herramientas de simulación y análisis
5.9 Ejemplos prácticos de diseño y arquitectura
5.50 Análisis de riesgos y mitigación en sistemas ARINC-653
3.5 Desarrollo de aplicaciones para particiones
3.5 Interfaces de programación (API) ARINC-653
3.3 Gestión de tareas y procesos
3.4 Manejo de errores y excepciones
3.5 Integración de código seguro y verificable
3.6 Pruebas unitarias y de integración
3.7 Herramientas de depuración y análisis estático
3.8 Desarrollo de software conforme a estándares DO-578C
3.9 Gestión de la configuración y control de versiones
3.50 Casos prácticos de desarrollo seguro
4.5 Requisitos de software y especificaciones
4.5 Diseño de interfaces de usuario seguras
4.3 Gestión de datos y almacenamiento
4.4 Comunicaciones en tiempo real
4.5 Aplicaciones críticas: control de vuelo, navegación, etc.
4.6 Diseño de software para alta disponibilidad
4.7 Pruebas y validación de aplicaciones
4.8 Consideraciones de seguridad cibernética
4.9 Integración con sistemas existentes
4.50 Ejemplos de aplicaciones aeronáuticas confiables
5.5 Diseño de sistemas embebidos para aviación
5.5 Requisitos de hardware y software
5.3 Arquitecturas de sistemas distribuidos
5.4 Consideraciones de seguridad y fiabilidad
5.5 Gestión de la energía y optimización del rendimiento
5.6 Diseño de sistemas tolerantes a fallos
5.7 Integración de sensores y actuadores
5.8 Diseño de sistemas de comunicación
5.9 Pruebas y certificación de sistemas
5.50 Casos prácticos de diseño de sistemas
6.5 Arquitecturas de software embebido aeroespacial
6.5 Sistemas operativos en tiempo real (RTOS)
6.3 Diseño de controladores y algoritmos complejos
6.4 Modelado y simulación de sistemas
6.5 Desarrollo de software para sistemas multicore
6.6 Técnicas de optimización del rendimiento
6.7 Sistemas de detección y corrección de errores
6.8 Herramientas de análisis de código y verificación
6.9 Integración de sistemas y pruebas
6.50 Aplicaciones de software embebido aeroespacial
7.5 Aplicaciones críticas: control de vuelo, navegación, comunicaciones
7.5 Diseño de sistemas redundantes y tolerantes a fallos
7.3 Gestión de datos y seguridad de la información
7.4 Sistemas de supervisión y diagnóstico
7.5 Diseño de interfaces de usuario seguras
7.6 Pruebas y validación de software crítico
7.7 Certificación de aplicaciones de software
7.8 Consideraciones de seguridad cibernética
7.9 Integración de sistemas y pruebas de aceptación
7.50 Ejemplos de aplicaciones aeroespaciales críticas
8.5 Arquitecturas de sistemas embebidos aeronáuticos
8.5 Requisitos de certificación y estándares (DO-578C, etc.)
8.3 Diseño de software con alta integridad
8.4 Técnicas de particionado y aislamiento
8.5 Sistemas operativos en tiempo real (RTOS)
8.6 Pruebas y verificación rigurosas
8.7 Gestión de la configuración y control de cambios
8.8 Consideraciones de seguridad funcional
8.9 Proceso de certificación y documentación
8.50 Casos prácticos de sistemas aeronáuticos certificables
6.6 eVTOL y UAM: propulsión eléctrica, múltiples rotores
6.2 Requisitos de certificación emergentes (SC-VTOL, spccial conditions)
6.3 Energía y térmica en e-propulsión (baterías/inversores)
6.4 Design for maintainability y modular swaps
6.5 LCA/LCC en rotorcraft y eVTOL (huella y coste)
6.6 Operations & vertiports: integración en espacio aéreo
6.7 Data & Digital thread: MBSE/PLM para change control
6.8 Tech risk y readiness: TRL/CRL/SRL
6.9 IP, certificaciones y time-to-market
6.60 Case clinic: go/no-go con risk matrix
7.7 Fundamentos de ARINC-673: Definición, Propósito y Beneficios
7.2 Arquitectura General de Sistemas ARINC-673: Particiones, Procesos y Recursos
7.3 Introducción a los Conceptos de Aislamiento: Tiempo, Espacio y Fallos
7.4 Estándares de Certificación Aeronáutica y ARINC-673
7.7 Herramientas y Entornos de Desarrollo para ARINC-673
7.6 Introducción a la Seguridad Funcional en Aviación
7.7 Estudios de Caso: Aplicaciones de ARINC-673 en la Industria Aeronáutica
7.8 Introducción a la Simulación y Pruebas de Sistemas ARINC-673
2.7 Arquitectura de Hardware y Software en Sistemas ARINC-673
2.2 Diseño de Particiones: Configuración y Gestión de Recursos
2.3 Aislamiento de Tiempo y Espacio: Implementación y Verificación
2.4 Comunicación entre Particiones: Mecanismos y Protocolos
2.7 Gestión de Fallos y Recuperación en Sistemas ARINC-673
2.6 Consideraciones de Seguridad en el Diseño de Sistemas
2.7 Diseño de Arquitecturas Seguras: Conceptos y Prácticas
2.8 Integración con Sistemas de Mayor Complejidad
3.7 Lenguajes de Programación y Entornos de Desarrollo para ARINC-673
3.2 Diseño de Software Seguro: Principios y Prácticas
3.3 Implementación de Aplicaciones en Particiones ARINC-673
3.4 Gestión de Tareas y Sincronización en Tiempo Real
3.7 Tratamiento de Excepciones y Manejo de Errores
3.6 Pruebas y Verificación de Software Aeronáutico
3.7 Integración con Sistemas de Supervisión y Control
3.8 Aseguramiento de la Calidad del Software: Estándares y Metodologías
4.7 Requisitos de Diseño para Aplicaciones Aeronáuticas Confiables
4.2 Desarrollo de Aplicaciones Críticas en Entornos ARINC-673
4.3 Interfaz con Sensores, Actuadores y Dispositivos Externos
4.4 Comunicación con Sistemas de Control de Vuelo
4.7 Diseño de Interfaces Hombre-Máquina (HMI) Seguras
4.6 Pruebas y Validaciones de Aplicaciones Aeronáuticas
4.7 Consideraciones de Mantenimiento y Actualización del Software
4.8 Estudios de Caso: Desarrollo de Aplicaciones Exitosa
7.7 Diseño de Sistemas con Consideraciones de Seguridad
7.2 Arquitecturas de Sistemas Tolerantes a Fallos
7.3 Implementación de Mecanismos de Redundancia
7.4 Análisis de Fallos y Modos de Fallo (FMEA)
7.7 Diseño para la Verificación y Validación
7.6 Consideraciones de Certificación para Sistemas de Aviación
7.7 Gestión de la Configuración y el Cambio
7.8 Integración de Sistemas Complejos
6.7 Diseño de Sistemas Embebidos Aeroespaciales
6.2 Sistemas de Tiempo Real y Planificación de Tareas
6.3 Arquitecturas de Hardware y Software para Aplicaciones Aeroespaciales
6.4 Diseño de Software para Entornos Críticos
6.7 Técnicas Avanzadas de Depuración y Análisis
6.6 Consideraciones de Seguridad Funcional y Certificación
6.7 Interfaces de Comunicación y Protocolos Aeroespaciales
6.8 Integración de Sistemas Complejos
7.7 Requisitos para el Desarrollo de Software Crítico
7.2 Arquitecturas de Software para Sistemas Aeroespaciales
7.3 Implementación de Funciones Críticas
7.4 Diseño de Interfaces y Comunicación entre Componentes
7.7 Pruebas y Validación de Software
7.6 Certificación y Cumplimiento de Normativas
7.7 Consideraciones de Seguridad
7.8 Integración con Sistemas de Control
8.7 Arquitectura de Sistemas Embebidos Certificables
8.2 Diseño de Software para Certificación Aeronáutica
8.3 Implementación de Requisitos de Certificación
8.4 Pruebas de Verificación y Validación
8.7 Documentación para la Certificación
8.6 Gestión de Cambios y Control de Versiones
8.7 Análisis de Riesgos y Seguridad
8.8 Integración y Pruebas del Sistema
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