Aviónica modular integrada

GMV es experta en aviónica modular integrada (IMA), arquitecturas de software ARINC-653 y ASAAC y buses de datos de aviónica (ARINC-429, AFDX, 1553…). Fruto de nuestra actividad de I+D en este campo hemos desarrollado una familia de herramientas IMA / ARINC-653 que incluye un entorno de simulación y herramientas para mejorar el desarrollo de software en sistemas ARINC-653.

GMV ha desarrollado una Arquitectura de Referencia para sistemas críticos embarcados que da soporte a paradigmas Model Driven Architecture (MDA) y Component Based Software Development (CBSD) y ofrece instrumentos para la verificación en fase inicial de los requisitos no funcionales del sistema basada en Métodos Formales.