Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
ES_PASS, Embedded Software Product-based Assurance
Áreas de investigación
  • Lenguaje de programación
The usual process-based and testing-intensive paradigm for software quality assurance is now reaching its limits in the industrial application. Static analysis techniques emerge as the most promising verification approach for the industrial pratice. ES_PASS targets the dissemination, the improvement, the integration, and the deployment of static analysis verification techniques in the industrial domain of safety critical embedded systems. ES_PASS stems from the following observations: * The usual software quality assurance process based on the compliance with a qualified process is now reaching its limits. In particular, current verification and validation methods, mainly based on testing, will hardly scale up at acceptable costs for future systems. So, a new and complementary approach shall emerge, focused on the product rather than the process . * Static analysis techniques are the most promising candidates to support this paradigm shift, from process-based assurance to product-based assurance, at European level. Two convincing arguments support this statement: the excellence of European academic research in this area and the maturity of these techniques which are already implemented in tools. ES_PASS considers that static analysis represents a strong opportunity for Europe to guide and take the lead of this evolution . * The market of verification tools is now ready for the adoption of static analysis techniques. So, ES_PASS is expected to serve as a driving factor for this market .
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
Ministerio de Industria y Comercio
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Fecha concesión
Esta actividad pertenece a memorias de investigación
  • Director: Pedro Lopez Garcia (UPM)
  • Participante: Manuel de Hermenegildo Salinas (UPM)
  • Participante: Manuel Carro Liñares (UPM)
  • Participante: Edison Fernando Mera Menéndez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)