ITEA 4 is the Eureka Cluster on software innovation
ITEA 4 is the Eureka Cluster on software innovation

ES_PASS

Embedded Software Product-based ASSurance

Project description

The ES_PASS project set out to overcome the limitations of current quality-assurance which is exclusively focused on complying with a qualified process. It has extended the use of static-analysis technologies for productbased assurance into the industrial processes for developing safety-critical systems. The project adapted and enhanced static-analysis tools and services, and demonstrated their use in key domains such as aerospace, automotive and rail transportation.
Alt

http://www.es-pass.org

Project publications