Descripció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 . | |
Internacional
|
Si |
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
|
Desconocido |
Fecha concesión
|