L’adopció generalitzada de sistemes IMA (Aviònica Modular Integrada) per a aplicacions comercials reals ha fet evident que, en el millor dels casos, no són gaires els enfocaments de desenvolupament que estiguin degudament dissenyats per complir els seus requisits específics. En primer lloc, no hi ha solucions que permetin la cobertura o el suport de processos formals de desenvolupament. D’altra banda, les eines disponibles avui dia estan orientades fonamentalment al correcte desenvolupament de sistemes o aplicacions i no s’ocupen adequadament de les qüestions d’integració de sistemes. A més, l’adequada interconnexió entre eines formals d’especificació i eines de simulació o generació de codis ofereix tota una sèrie d’avantatges que no han estat suficientment estudiats en metodologies de desenvolupament menys convencionals i més recents.

En aquest context, GMV va posar en marxa SIMOVER, un projecte de R D que ha tingut com a objectiu esmenar aquesta carència mitjançant el desenvolupament d’una eina que permetés:

• la comunicació de sistemes crítics dins el procés de desenvolupament;
• establir mecanismes que permetessin la validació de configuracions produïdes amb altres eines (en concret, el producte ConfiguIMA de GMV);
• l’execució de models dins el procés de desenvolupament per a la detecció ràpida de conflictes entre requeriments i errors de configuració;
• i la incorporació d’elements específics de certificació en el procés de validació.

El projecte, que va finalitzar al setembre de 2013, ha aconseguit amb èxit els resultats i el desenvolupament de l’eina. A més, dins el projecte, GMV ha generat un algorisme per a la conversió de XML i una metodologia per a la conversió i comparació de XML que permetrà a GMV desenvolupar un procés complet d’IMA, de principi a fi, orientat a models i formalment verificable, per no esmentar que millorarà tot el procés de certificació de sistemes IMA amb l’adhesió a l’estàndard RTCA DO-178C.

SIMOVER s’emmarca dins el Programa Operacional Regional de Lisboa (POR Lisboa), que es presenta a partir de les principals recomanacions del QREN (Quadro de Referência Estratégico Nacional), constituït per a l’aplicació de la política comunitària de cohesió econòmica i social a Portugal per al període 2007-2013.