Los principales objetivos de RECOMP son: 1. Desarrollar métodos y herramientas para la certificación y recertificación de sistemas empotrados para aplicaciones críticas basadas en arquitecturas multicore. La reducción de costes en los procesos de certificación basados en componentes precertificados así como su uso en sistemas críticos mixtos (compuestos por componentes de distintos niveles de fiabilidad) son objetivos estratégicos del proyecto. 2. Desarrollar plataformas (hardware y middleware) para desarrollo de técnicas de virtualización de sistemas operativos y de comunicaciones inter-core para aplicaciones críticas. Elementos fiables y técnicas de aislamiento permitirán el desarrollo de aplicaciones con componentes de distinto nivel de fiabilidad/certificación. 3. Demostrar la reducción de los costes de certificación y recertificación usando los componentes, métodos, herramientas y plataformas desarrolladas en RECOMP comparados con las aproximaciones de diseño más convencionales. Todos estos objetivos se pretende aplicar en el marco de 3 sectores industriales: automoción, aviónica e industria y apoyado por los miembros más académicos del consorcio. Todo ello intentando buscar los elementos comunes así como las particularidades para cada sector que permitan maximizar la reusabilidad y eficiencia de las soluciones aportadas.

Universidad de Granada