Skip to main content
Logo GMV

Main navigation

  • Sectors
    • Icono espacio
      Space
    • Icono Aeronáutica
      Aeronautics
    • Icono Defensa y Seguridad
      Defense and Security
    • Icono Sistemas Inteligentes de Transporte
      Intelligent Transportation Systems
    • Icono Automoción
      Automotive
    • Icono Ciberseguridad
      Cybersecurity
    • Icono Servicios públicos Digitales
      Digital Public Services
    • Icono Sanidad
      Healthcare
    • Icono Industria
      Industry
    • Icono Financiero
      Financial
    • Icono Industria
      Services
    • All Sectors

    Highlight

    Slopsquatting
    Slopsquatting: A silent threat born from the hallucinations of LLMs
  • Talent
  • About GMV
    • Get to Know the Company
    • History
    • Management Team
    • Certifications
    • Corporate Social Responsibility
  • Communication
    • News
    • Events
    • Blog
    • Magazine GMV News
    • Press Room
    • Media library
    • Latest from GMV

Secondary navigation

  • Products A-Z
  • GMV Global
    • Global (en)
    • Spain and LATAM (es - ca - en)
    • Germany (de - en)
    • Portugal (pt - en)
    • Poland (pl - en)
    • All branches and all GMV sites
  • Home
  • Communication
  • News
Back
New search
Date
  • Aeronautics

Integrated Modular Avionics for commercial applications

17/10/2013
  • Print
Share

Integrated Modular Avionics (IMA) systems have recently been taken up widely for real commercial applications and it soon became obvious that properly designed development approaches that meet its specific requirements were at best in short supply. Firstly, there are no solutions that enable the coverage, or support, of formal development processes. Secondly, currently available system-development tools focus mainly on the proper development of systems or software applications and fail to deal adequately with system integration issues. Moreover, proper interconnection between formal specification tools and simulation/code generating tools power a whole set of advantages that have been poorly explored in less conventional (and more recent) development methodologies.

With this problem in mind, GMV implemented SIMOVER, an R&D project that aimed to bridge this gap by developing a tool that would perform all the following functions:

  • facilitate communication of critical systems within the development process;
  • establish mechanisms for validating configurations produced with other tools, namely GMV’s in-house product ConfiguIMA; 
  • enable execution of models within the development process for rapid detection of requirement conflicts and configuration errors; 
  • incorporate specific certification elements into the validation process.

The project, ended in September 2013, has successfully developed this tool and met all its other aims. Within the project GMV has also generated an XML conversion algorithm and a methodology for both XML conversion and comparison that will enable GMV to develop a complete end-to-end IMA development process that is both model-driven and formally verifiable; crucially, it will also empower the whole IMA system certification process under RTCA DO-178C.

SIMOVER is part of the Lisbon Regional Operational Program (Programa Operacional Regional de Lisboa, shortened to POR Lisboa), which abides by the main recommendations of the National Strategic Reference Framework (Quadro de Referência Estratégico Nacional: QREN), set up for application of the Community policy of economic and social cohesion in Portugal for 2007-2013.

  • Print
Share

Related

aeronautica
  • Aeronautics
The Future of Military Aeronautics: Innovations and Technological Trends
UNVEX 2024
  • Aeronautics
  • Defense and Security
GMV presents its advances in navigation and unmanned systems at UNVEX’24
ev_ila.jpg
  • Aeronautics
  • Space
  • Defense and Security
ILA Berlin
05 Jun - 09 Jun

Contact

Europaplatz 2
64293 Darmstadt | Deutschland
Tel. +49 6151 3972 970
Fax. +49 6151 8609 415

Zeppelinstraße, 16
82205 Gilching | Deutschland
Tel. +49 (0) 8105 77670 150
Fax. +49 (0) 8105 77670 298

Contact menu

  • Contact
  • GMV around the world

Blog

  • Blog

Sectors

Sectors menu

  • Space
  • Aeronautics
  • Defense and Security
  • Intelligent Transportation Systems
  • Automotive
  • Cybersecurity
  • Digital Public Services
  • Healthcare
  • Industry
  • Financial
  • Services
  • Talent
  • About GMV
  • Shortcut to
    • Press Room
    • News
    • Events
    • Blog
    • Products A-Z
© 2025, GMV Innovating Solutions S.L.

Footer menu

  • Contact
  • Legal Notice
  • Privacy Policy
  • Cookie Policy
  • Impressum

Footer Info

  • Commitment to the Environment
  • Financial Information