A adoção generalizada de sistemas IMA (Integrated Modular Avionics) para aplicações comerciais reais tem tornado evidente que não são muitos os desenvolvimentos efetuados até ao momento que estão devidamente desenhados para cumprir os requisitos específicos desta área. Primeiro porque não existem soluções que permitam a cobertura ou suporte de métodos formais de desenvolvimento. Segundo, as ferramentas disponíveis na atualidade são orientadas para o correto desenvolvimento dos sistemas e aplicações, não se preocupando adequadamente com as questões de integração de sistemas. Para além destes pontos ainda existe uma falha na exploração de novas abordagens, menos convencionais, no desenvolvimento da ligação entre as ferramentas de especificação formal e as ferramentas de simulação/geração de código.

Com esta visão em mente, a GMV implementou o SIMOVER, um projeto de I&D que teve como objetivo o colmatar desta falha através do desenvolvimento de uma ferramenta que enderece os seguintes pontos:

• Facilitar a comunicação entre os sistemas críticos dentro dos processos de desenvolvimento;
• Estabelecer mecanismos para validar as configurações produzidas por outras ferramentas, nomeadamente a ferramenta de referência produzida pela própria GMV, o ConfiguIMA;
• Possibilitar a execução de modelos dentro do processo de desenvolvimento para a rápida deteção de conflitos nos requisitos e erros de configuração;
• Incorporar elementos específicos de certificação na validação do processo.

O projeto, terminado em Setembro de 2013, conseguiu com sucesso o desenvolvimento desta ferramenta com todos os objetivos atingidos, para o qual se propôs. Para além dos objetivos principais, há a destacar o facto de se ter criado um algoritmo para conversão e comparação de XML que permite à GMV possuir um processo, do princípio ao fim, de desenvolvimento IMA que tanto é orientado a modelos como possui verificação formal; para além de melhorar consideravelmente o processo de certificação sobre a norma RTCA DO-178C.

SIMOVER integra o Programa Operacional Regional de Lisboa (POR Lisboa), que se rege pelo Quadro de Referência Estratégico Nacional (QREN), constituído para a aplicação da política comunitária de coesão económica e social em Portugal durante o período 2007-2013.