IMDEA Software ha organizado un workshop sobre “Industrialización de la Interpretación Abstracta” en el contexto del proyecto ES_PASS. Celebrado el 28 de Octubre de 2009 en Madrid, ha sido una exitosa experiencia en la que se han presentado los resultados del proyecto ES_PASS a una amplia y variada audiencia formada fundamentalmente por representantes de empresas, así como algunos centros de investigación, y se han establecido nuevos contactos y sinergias entre dichos participantes.
ES_PASS (Embedded Software Product-based Assurance) es un proyecto europeo del cluster ITEA2 cuyo objetivo es la mejora e integración de técnicas de verificación de software basadas en análisis estático en los procesos de ingeniería actuales dentro del área de sistemas embarcados de seguridad crítica.
El consorcio del proyecto incluye empresas tales como Airbus France, AbsInt, CS Systèmes d’Information, Continental Automotive France SAS, Thales Avionics, Daimler AG, Esterel Technologies, PSA Peugeot Citroen, Siemens VDO Automotive, EADS Astrium, GTD Barcelona, Onera, PolySpace Technologies, Thales Transportation, ALCATEL TSD y IFB Berlin, así como instituciones de investigación.
Coordinación local del proyecto y organización del workshop: Pedro López.
