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.
Certificate of recognition of GMV’s digital avionics work
In the week running from 5 to 9 October Colorado Springs hosted the 33rd Digital Avionics Systems Conference, ...
GMV offers a vision of the innovation and technology of the future
On 12 June GMV is holding in Madrid an innovation and technology conference called “A vision of ...