IMDEA Software coordina el proyecto ADVENT que empezará el 1 de abril de 2013. El proyecto está financiado por la Unión Europea, a través del programa Future and Emerging Technologies (FET) Young Explorers del Séptimo Programa Marco. El presupuesto del proyecto es de 1 millón de Euros.
El consorcio cuenta, además de con IMDEA Software, con la Universidad de Tel Aviv (Israel), el Institutio Max Planck (Alemania) y la Universidad Católica de Lovaina (Bélgica).
La nueva iniciativa FET Young Explorers persigue capturar el potencial creativo de investigadores jóvenes e impulsar su liderazgo y participación en proyectos de investigación colaborativa enfocándose en investigación multi-disciplinar y exploratoria.
El proyecto ADVENT desarrollará métodos innovadores y herramientas para la verificación efectiva de sistemas software reales, permitiendo de esta manera garantizar niveles de fiabilidad del software sin precedentes. Las técnicas de verificación basadas en arquitecturas que se desarrollarán en el proyecto tienen el potencial de conseguir un incremento dramático en la relación coste/beneficio en las tecnologías de verificación. Esto permitirá a estas técnicas escalar a sistemas reales de tamaño y complejidad industrial, que no pueden ser tratados con los métodos actuales de control de calidad de software.
El coordinador del proyecto, tanto en IMDEA Software como a nivel global, es Alexey Gotsman.
La persona de contacto en IMDEA Software es Marta Sedano.
