La adopción generalizada de sistemas IMA (Aviónica Modular Integrada) para aplicaciones comerciales reales ha hecho evidente que, en el mejor de los casos, no son muchos los enfoques de desarrollo que estén debidamente diseñados para cumplir sus requisitos específicos. En primer lugar, no hay soluciones que permitan la cobertura o el soporte de procesos formales de desarrollo. Por otro lado, las herramientas disponibles en la actualidad están orientadas fundamentalmente al correcto desarrollo de sistemas o aplicaciones y no se ocupan adecuadamente de las cuestiones de integración de sistemas. Además, la adecuada interconexión entre herramientas formales de especificación y herramientas de simulación o generación de códigos ofrece toda una serie de ventajas que no han sido suficientemente estudiadas en metodologías de desarrollo menos convencionales y más recientes.

En este contexto, GMV puso en marcha SIMOVER, un proyecto de I+D que ha tenido como objetivo subsanar esta carencia mediante el desarrollo de una herramienta que permitiese:

• la comunicación de sistemas críticos dentro del proceso de desarrollo; 
• establecer mecanismos que permitiese la validación de configuraciones producidas con otras herramientas (en concreto el producto ConfiguIMA de GMV); 
• la ejecución de modelos dentro del proceso de desarrollo para la detección rápida de conflictos entre requerimientos y errores de configuración; 
• y la incorporación de elementos específicos de certificación en el proceso de validación.

El proyecto, que ha finalizado septiembre 2013, ha alcanzado con éxito los resultados y el desarrollo de dicha herramienta. Además, dentro del proyecto, GMV ha generado un algoritmo para la conversión de XML y una metodología para la conversión y comparación de XML que permitirá a GMV desarrollar un proceso completo de IMA, de principio a fin, orientado a modelos y formalmente verificable, por no mencionar que mejorará todo el proceso de certificación de sistemas IMA con la adhesión al estándar RTCA DO-178C.”

SIMOVER se enmarca dentro del Programa Operacional Regional de Lisboa (POR Lisboa) que se presenta a partir de las principales recomendaciones del QREN (Quadro de Referência Estratégico Nacional), constituido para la aplicación de la política comunitaria de cohesión económica y social en Portugal para el periodo 2007-2013.