ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
Dear visitor, please be informed that this is the ITEA staging environment. No actions here will be updated to production, feel free to test the system

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