Aviònica modular integrada

GMV és experta en aviònica modular integrada (IMA),  arquitectures de programari ARINC-653 i ASAAC i busos de dades d’aviònica (ARINC-429, AFDX, 1553…). Fruit de la nostra activitat de R+D en aquest camp hem desenvolupat una família d’eines IMA/ARINC-653 que inclou un entorn de simulació i eines per millorar el desenvolupament de programari en sistemes ARINC-653.

GMV ha desenvolupat una arquitectura de referència per a sistemes crítics embarcats que dóna suport a paradigmes Model Driven Architecture (MDA) i Component Based Software Development (CBSD) i ofereix instruments per a la verificació en fase inicial dels requisits no funcionals del sistema basada en mètodes formals.