Integrated Modular Avionics

GMV is an expert in Integrated Modular Avionics (IMA), ARINC-653 and ASAAC software architectures and avionics data buses (ARINC-429, AFDX, 1553…).As result of our R&D activity in this field we have developed an IMA/ARINC-653 tool-suite including a simulation environment and tools to improve software development in ARINC-653 systems.

GMV has developed a Reference Architecture for critical embedded systems supporting Model Driven Architecture (MDA) and Component Based Software Development (CBSD) paradigms, and providing tools for early verification of the system non-functional requirements based ion Formal Methods.