XKY
Un sistema operatiu nou i robust amb particions
L’hipervisor XKY
XKY és un sistema operatiu en temps real amb particions temporals i espacials (RTOS) compatible amb l’estàndard ARINC 653.Ha estat dissenyat d’acord amb la normativa DO-178C/ED-12C a fi d’oferir una plataforma de sistemes IMA per a tots els nivells integrats a aeronaus fins al nivell DAL-A.
Des del seu origen, el sistema operatiu XKY s’ha dissenyat i creat amb una arquitectura d’hipervisor en ment i amb la idea de minimitzar la base de codi, complint sempre els requisits de creació de particions robustes.
Així mateix, combina modularitat i flexibilitat amb un mínim impacte en el sistema, la qual cosa el converteix en una solució rendible per al mercat aeronàutic.
XKY funciona en PowerPC de 32 i 64 bits amb compatibilitat multi-core i ARM Cortex A8 de 32 bits/ARMv7-A. A més, gràcies al seu disseny modular, pot emmotllar-se fàcilment a altres tipus de CPU mitjançant un BSP adaptat.
Per obtenir-ne més informació, contacteu amb nosaltres a [email protected].
Casos d’ús: consulteu la documentació tècnica del producte, que conté informació detallada sobre XKY i un estudi de cas dut a terme conjuntament amb Embraer.
XKY és un sistema operatiu en temps real creat integralment, des de zero fins als sistemes de suport, que segueix el paradigma més utilitzat avui dia en l’aviònica modular integrada (IMA): les particions robustes. El seu disseny emula l’arquitectura d’hipervisor, la qual cosa permet que diverses aplicacions, i fins i tot sistemes operatius, coexisteixin amb seguretat en el mateix maquinari. El nucli de gestió de particions de XKY s’executa directament en el maquinari per controlar i gestionar els sistemes convidats.
XKY permet l’execució de diversos sistemes operatius en diverses particions, la qual cosa garanteix l’accés ininterromput als recursos configurats per a aquests sistemes en la fase de disseny. XKY està optimitzat per admetre sistemes en temps real, i el convidat comú és un RTOS.
XKY és compatible amb el processament multi-core. Les particions es poden programar en qualsevol nombre de nuclis de processament indicant la CPU en la qual cal executar la partició actual.
XKY proporciona una comunicació ràpida entre les aplicacions de cada partició mitjançant ports de mostreig i de cua i una memòria compartida.
XKY admet la comunicació externa mitjançant PCIe i a través d’Ethernet o AFDX. Aquestes interfícies funcionen directament, sense necessitat d’accions addicionals. També es poden integrar fàcilment altres programes controladors IO en particions específiques.
XKY ofereix compatibilitat amb l’estàndard ARINC 653 APEX, part 1 (annexos 3 i 4) i alguns serveis de la part 2.
Actualment, XKY disposa d’un BSP preparat per utilitzar en PowerPC de 32 i 64 bits amb compatibilitat multi-core i ARM Cortex A8 de 32 bits/ARMv7-A.
XKY pot homologar-se com a plataforma en aeronaus de conformitat amb la normativa DO-178C/ED-12C fins al nivell DAL-A.
Treballem per documentar XKY de manera exhaustiva perquè compleixi la normativa DO-178C/ED-12C fins al nivell DAL-A. Per això, és possible utilitzar XKY com a plataforma de suport en els sistemes per a aeronaus homologats més importants de l’aeronàutica civil i militar. Ja podeu consultar la documentació bàsica sobre el producte.
Per a preguntes relacionades amb la certificabilitat, contacteu amb nosaltres a l’adreça [email protected].
L’acrònim DIMA significa aviònica modular integrada distribuïda (Distributed Integrated Modular Avionics). L’aviònica modular integrada distribuïda (DIMA), de vegades denominada IMA de 2a generació, és un patró arquitectònic emergent per a l’aviònica.
Des del 2014, GMV treballa amb Embraer en una sèrie de projectes destinats a implementar un prototip de plataforma DIMA. Aquesta plataforma proporciona:
- Ús flexible dels recursos IO
- Interoperabilitat a escala de sistema
- Reutilització d’aplicacions de programari
- Reconfiguració (plug & play)
Si ho voleu, podeu descarregar la documentació tècnica sobre el cas d’ús.
GMV presenta l’equip d’iniciació Xky in a Box
Es tracta d’una solució econòmica que permet avaluar, elaborar demostracions, crear prototips, formar-se i dur a terme altres activitats que no estan relacionades directament amb l’avaluació.
L’equip d’iniciació conté XKY amb un BSP (paquet de targeta de suport) BeagleBone Black, una placa assequible amb un processador ARM Cortex A8/ARMv7-A mantingut per la comunitat.
L’equip consta d’un arxiu comprimit en un pen drive en el qual s’inclou:
- L’XKY (nucli i BSP) compilat per a la placa Beaglebone Black
- Aplicació per a particions IO que proporciona comunicació UDP mitjançant Ethernet
- Eines de desenvolupament (eines de configuració basades en Python i cadena d’eines de compilació basada en GNU)
- Aplicacions de mostra
L’equip d’iniciació és una solució òptima per a projectes de recerca i per a finalitats educatives, i és gratuït per a universitats i altres institucions educatives.
SIMA (aviònica modular integrada simulada) és un entorn d’execució per a sistemes IMA (aviònica modular integrada) basats en l’especificació ARINC 653. Proporciona una partició robusta i una eina APEX completa creada d’acord amb l’especificació ARINC 653 per a sistemes operatius que no poden funcionar per si sols.
SIMA és una alternativa econòmica per depurar fallades, provar, simular i formar-se en sistemes IMA que garanteix que l’aplicació funcioni de la mateixa manera que a la plataforma objectiu gràcies a seu compliment estricte i demostrat amb l’especificació ARINC 653.
La norma ARINC 653 estableix una interfície de programació específica per a sistemes operatius en temps real (RTOS) i un mètode concret de partició de recursos segons temps i memòria. Actualment, es considera aquesta norma la base fonamental per al desenvolupament de sistemes del sector aeronàutic en els quals la seguretat és crítica.