-
a653fs
Sistema de fitxers conforme amb ARINC 653 (complement de sima)
-
air
RTOS conforme amb ARINC653
-
arot
Eina d’assaig d’AFDX
-
avt
Validador d’assaigs conforme amb especificació ARINC653
-
configuima
L’eina de configuració per a IMA
-
emil
Sistema de calibratge automàtic de VOR i localitzador i senda d'ILS
-
ioserver
Solució I/O genèrica reutilitzable per a AIR (AIR complement)
-
magicGEMINI
Sistema complet per a l’anàlisi de prestacions de navegació i monitoratge de sistemes GNSS (en anglès)
-
magicIFP
Aplicació web per validar procediments d’aproximació LPV (en anglès)
-
magicLPV
Fly SBAS Everywhere
-
sima
Aviònica modular integrada simulada
-
srx-10i
Sistema de detecció i anàlisi d’interferències per a sistemes GNSS (en anglès)
-
validima
Validador de configuració ARINC653