Memorias de investigación
Research Project:
ES_PASS, Embedded Software Product-based Assurance

Research Areas
  • Programming language

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 .
Project type
Proyectos y convenios en convocatorias públicas competitivas
Ministerio de Industria y Comercio
Entity Nationality
Sin nacionalidad
Entity size
Granting date

Research Group, Departaments and Institutes related
  • 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