soluciones GMV

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.


New subsidiary in the UK
02/03/2015
GMV has now formalized the constitution of a new UK subsidiary company to be based in the Harwell Innovation ...


Certificate of recognition of GMV’s digital avionics work
10/17/2014
In the week running from 5 to 9 October Colorado Springs hosted the 33rd Digital Avionics Systems Conference,  ...

Sitemap
Contact
GMV