Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
ES_PASS, Embedded Software Product-based Assurance
Year:2008
Research Areas
  • Programming language
Information
Abstract
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 .
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Industria y Comercio
Entity Nationality
Sin nacionalidad
Entity size
Desconocido
Granting date
Participants
  • Director: Pedro Lopez Garcia (UPM)
  • Participante: Manuel de Hermenegildo Salinas (UPM)
  • Participante: Manuel Carro Liñares (UPM)
  • Participante: Edison Fernando Mera Menéndez (UPM)
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
S2i 2019 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)