Diplomado en Particionado y Aislamiento tipo ARINC-653
About us Diplomado en Particionado y Aislamiento tipo ARINC-653
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.
Diplomado en Particionado y Aislamiento tipo ARINC-653
- Format:
- Duration:
- Hours: 900 H
- Language:
- Credits:
- Registration date: 08-09-2026
- Strat date: 19-10-2026
- Available places: 8
950 $
Competencies and results
What you will learn
Who this program is for:
Diplomado en Particionado y Aislamiento tipo ARINC-653
9.9 Introducción a ARINC-653: Historia y Evolución
9.9 Arquitectura General de ARINC-653
9.3 Beneficios del Particionado: Robustez y Flexibilidad
9.4 Conceptos Clave: Particiones, Procesos y Recursos
9.5 Entidades Clave: Tabla de Definiciones
9.6 Servicios Esenciales: Inter-partición
9.7 Consideraciones para Sistemas Aeronáuticos
9.8 Herramientas de Soporte y Entornos de Desarrollo
9.9 Introducción a la Certificación
9.90 Caso de Estudio: Análisis de un Sistema Existente
9.9 Fundamentos del Particionado: Razones y Beneficios
9.9 Tipos de Particiones: Espaciales y Temporales
9.3 Mecanismos de Partición: Memoria y Tiempo
9.4 Configuración de Particiones: Definición y Gestión
9.5 Programación de Particiones: Planes y Tareas
9.6 Comunicación Inter-Partición: Mensajería y Sincronización
9.7 Diseño de Particiones para la Seguridad
9.8 Modelado y Simulación de Particiones
9.9 Ejemplos Prácticos de Implementación
9.90 Pruebas y Verificación del Particionado
3.9 Aislamiento: Principios y Objetivos
3.9 Tipos de Aislamiento: Memoria, Tiempo y Recursos
3.3 Protección de Memoria: Control de Acceso
3.4 Administración de Recursos: CPU, Red y Periféricos
3.5 Mecanismos de Seguridad: Watchdog y Detección de Fallos
3.6 Implementación de Aislamiento en ARINC-653
3.7 Análisis de Vulnerabilidades y Mitigación
3.8 Diseño para la Tolerancia a Fallos
3.9 Pruebas de Aislamiento y Certificación
3.90 Estudios de Caso: Aislamiento en Sistemas Críticos
4.9 Ciclo de Vida del Desarrollo de Software Aeronáutico
4.9 Requisitos de Software y Especificaciones
4.3 Diseño de Software Seguro: Principios y Prácticas
4.4 Desarrollo de Software ARINC-653: Lenguajes y Herramientas
4.5 Gestión de Tareas y Planificación en Tiempo Real
4.6 Verificación y Validación del Software
4.7 Pruebas de Integración y Sistema
4.8 Gestión de Configuración y Control de Versiones
4.9 Cumplimiento de Normativas: DO-978C
4.90 Caso Práctico: Desarrollo de un Módulo de Control
5.9 Diseño de Aplicaciones Aeronáuticas Confiables
5.9 Arquitecturas de Software para la Confiabilidad
5.3 Mecanismos de Detección y Corrección de Errores
5.4 Manejo de Excepciones y Fallos
5.5 Diseño de Interfaces Robustas
5.6 Comunicación Inter-Aplicación Segura
5.7 Pruebas de Robustez y Rendimiento
5.8 Consideraciones de Seguridad Funcional
5.9 Integración de Hardware y Software
5.90 Estudios de Caso: Aplicaciones en Sistemas de Vuelo
6.9 Principios del Software Embebido Aeroespacial
6.9 Arquitecturas de Sistemas Embebidos
6.3 Sistemas Operativos de Tiempo Real (RTOS)
6.4 Desarrollo de Software para Entornos Aeroespaciales
6.5 Herramientas de Desarrollo y Depuración
6.6 Gestión de Recursos en Sistemas Embebidos
6.7 Pruebas y Verificación en el Desarrollo Embebido
6.8 Seguridad en Sistemas Embebidos
6.9 Consideraciones de Certificación para Software Embebido
6.90 Estudios de Caso de Aplicaciones Embebidas
7.9 Fases de Implementación de ARINC-653
7.9 Entornos de Desarrollo Integrados (IDE)
7.3 Configuración y Personalización del Sistema
7.4 Desarrollo de Aplicaciones en ARINC-653
7.5 Pruebas de Unidades y Pruebas de Integración
7.6 Herramientas de Depuración y Análisis
7.7 Gestión de Configuraciones y Control de Cambios
7.8 Integración con Hardware Aeronáutico
7.9 Proceso de Certificación y Documentación
7.90 Caso Práctico: Implementación de un Sistema de Control
8.9 Ingeniería de Sistemas Aeronáuticos
8.9 Requisitos de Certificación para Sistemas Embebidos
8.3 Análisis de Riesgos y Seguridad
8.4 Arquitectura de Sistemas Certificables
8.5 Diseño de Software para la Certificación
8.6 Pruebas de Certificación y Validación
8.7 Documentación para la Certificación
8.8 Herramientas y Metodologías de Certificación
8.9 Proceso de Certificación en la Práctica
8.90 Estudios de Caso: Sistemas Certificados ARINC-653
9.9 Proceso de Certificación ARINC-653
9.9 Estándares de Certificación: DO-978C y DO-954
9.3 Documentación Requerida para la Certificación
9.4 Organismos de Certificación y sus Roles
9.5 Pruebas de Certificación y sus Procedimientos
9.6 Auditorías de Certificación y sus Procesos
9.7 Mantenimiento de la Certificación
9.8 Tendencias Futuras en Certificación Aeronáutica
9.9 Caso Práctico: Proceso de Certificación de un Sistema
9.90 Consejos para la Certificación Exitosa
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.