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.
http://www.es-pass.org
France
Airbus Operations
France
CEA LIST
France
CS Systemes d'Information
France
EADS Astrium
France
EADS Innovation Works
France
Esterel Technologies
France
Onera
France
Thales Avionics S.A.
France
Germany
Daimler AG
Germany
Fraunhofer FIRST
Germany
Institut fúr Bahntechnik GmbH
Germany
Saarland University
Germany
Technische Universität München
Germany
Spain
GTD
Spain
Project publications
- ES_PASS Project results leaflet Project Leaflet 30 November 2010 Download
- ES_PASS Innovation report Innovation Report 09 December 2010 Download