XKY
Un sistema operativo nuevo y robusto con particiones
El hipervisor XKY
XKY es un sistema operativo en tiempo real con particiones temporales y espaciales (RTOS) compatible con el estándar ARINC 653. Ha sido diseñado de acuerdo con la normativa DO-178C/ED-12C con el fin de ofrecer una plataforma de sistemas IMA para todos los niveles integrados en aeronaves hasta el nivel DAL-A.
Desde su origen, el sistema operativo XKY se ha diseñado y creado con una arquitectura de hipervisor en mente y con la idea de minimizar la base de código, todo esto cumpliendo los requisitos de creación de particiones robustas.
Asimismo, combina modularidad y flexibilidad con un mínimo impacto en el sistema, lo que lo convierte en una solución rentable para el mercado aeronáutico.
XKY funciona en PowerPC de 32 y 64 bits con compatibilidad multi-core y ARM Cortex A8 de 32 bits/ARMv7-A. Además, gracias a su diseño modular, puede amoldarse fácilmente a otros tipos de CPU mediante un BSP adaptado.
Para obtener más información, contacte con nosotros en [email protected].
Casos de uso: consulte la documentación técnica del producto, que contiene información detallada sobre XKY y un estudio de caso llevado a cabo conjuntamente con Embraer.
XKY es un sistema operativo en tiempo real creado integralmente, desde cero hasta los sistemas de soporte, que sigue el paradigma más utilizado hoy en día en la aviónica modular integrada (IMA): las particiones robustas. Su diseño integra la arquitectura de hipervisor, lo que permite que varias aplicaciones, e incluso sistemas operativos, coexistan con seguridad en el mismo hardware. El núcleo de gestión de particiones de XKY y el BSP adaptado se ejecutan directamente en el hardware para controlar y gestionar las aplicaciones y sistemas operativos invitados.
XKY permite la ejecución de varios sistemas operativos en varias particiones, lo que garantiza el acceso ininterrumpido a los recursos configurados para estos sistemas en la fase de diseño. XKY está optimizado para garantizar la compatibilidad con sistemas en tiempo real, sobre todo con RTOS.
XKY es compatible con el procesamiento multi-core. Las particiones se pueden programar en cualquier número de núcleos de procesamiento indicando la CPU en la que se debe ejecutar la partición actual.
XKY proporciona un modo rápido de comunicación entre las aplicaciones de cada partición mediante puertos de muestreo y de cola y una memoria compartida.
XKY admite la comunicación externa mediante PCIe y Ethernet. Estas interfaces funcionan directamente, sin necesidad de acciones adicionales. También se pueden integrar fácilmente otros drivers IO en particiones específicas.
XKY ofrece compatibilidad con el estándar ARINC 653 APEX, parte 1 (anexos 3 y 4) y algunos servicios de la parte 2.
Actualmente, XKY cuenta con un BSP listo para usar en PowerPC de 32 y 64 bits con compatibilidad multi-core y ARM Cortex A8 de 32 bits/ARMv7-A.
XKY puede homologarse como plataforma en aeronaves de conformidad con la normativa DO-178C/ED-12C hasta el nivel DAL-A.
Trabajamos en documentar XKY de manera exhaustiva para que cumpla con la normativa DO-178C/ED-12C hasta el nivel DAL-A. Por ello, es posible usar XKY como plataforma de apoyo en los sistemas para aeronaves homologados más importantes de la aeronáutica civil y militar. Ya puede consultar la documentación básica sobre el producto.
Para preguntar relacionadas con la homologación, contacte con nosotros en [email protected].
El acrónimo DIMA significa aviónica modular integrada distribuida (Distributed Integrated Modular Avionics). La aviónica modular integrada distribuida (DIMA), a veces denominada IMA de 2ª generación, es un patrón arquitectónico incipiente en la aviónica.
Desde 2014, GMV trabaja con Embraer en una serie de proyectos destinados a implementar un prototipo de plataforma DIMA. Esta plataforma proporciona:
- Uso flexible de los recursos IO
- Interoperabilidad a nivel sistema
- Reutilización de aplicaciones de software
- Reconfiguración (plug & play)
Si lo desea, puede descargar la documentación técnica sobre el caso de uso.
GMV presenta el kit de iniciación Xky in a Box
Se trata de una solución económica que permite evaluar, elaborar demostraciones, crear prototipos, formarse y llevar a cabo otras actividades que no están directamente relacionadas con la evaluación.
El kit de iniciación contiene XKY con un BSP (paquete de tarjeta de apoyo) BeagleBone Black, una placa asequible con un procesador ARM Cortex A8/ARMv7-A mantenido por la comunidad.
El kit consta de un archivo comprimido en un pen drive en el que se incluye:
- El XKY (núcleo y BSP) compilado para la placa Beaglebone Black
- Aplicación para particiones IO que proporciona comunicación UDP mediante Ethernet
- Herramientas de desarrollo (herramientas de configuración basadas en Python y cadena de herramientas de compilación basada en GNU)
- Aplicaciones de muestra
El kit de iniciación es una solución óptima para proyectos de investigación y para fines educativos, y es gratuito para universidades y otras instituciones educativas.
SIMA (aviónica modular integrada simulada) es un entorno de ejecución para sistemas IMA (aviónica modular integrada) basados en la especificación ARINC 653. Proporciona una partición robusta y una herramienta APEX completa creada de acuerdo con la especificación ARINC 653 para sistemas operativos que no pueden funcionar por sí solos.
SIMA es una alternativa económica para depurar fallos, probar, simular y formarse en sistemas IMA que garantiza que la aplicación funcione del mismo modo que en la plataforma objetivo gracias a su cumplimiento estricto y demostrado con la especificación ARINC 653.
La norma ARINC 653 establece una interfaz de programación específica para sistemas operativos en tiempo real (RTOS) y un método concreto de partición de recursos según tiempo y memoria. Actualmente, se considera esta norma la base fundamental para el desarrollo de sistemas del sector aeronáutico en los que la seguridad es crítica.