Aviónica Modular Integrada

A GMV é especialista em Aviónica Modular Integrada (IMA), arquitectura de software ARINC-653, ASAAC e buses de dados de aviónica (ARINC-429, AFDX, 1553…). Como resultado da actividade de I D neste campo, desenvolvemos uma família de ferramentas IMA/ARINC-653 que inclui um contexto de simulação e ferramentas para melhorar o desenvolvimento de software em sistemas ARINC-653.

A GMV desenvolveu uma Arquitectura de Referência para sistemas críticos embarcados que dão suporte a paradigmas Model Driven Architecture (MDA) e Component Based Software Development (CBSD), facultando também instrumentos para a verificação dos requisitos não funcionais em fase inicial do sistema, baseada em métodos formais.