ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
   ITEA Call 2026 is now open! | Project Outline dealine: 2 november, 17:00 CET

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