Project 17034

CASCAdE

Compositional Analysis and Synthesis of Critical Embedded Applications

New services and solutions for future mobility and Industry 4.0 introduce a new level of complexity for software systems. This challenge is addressed within CASCAdE by introducing a compositional verification approach and automatic synthesis of parallel SW for multicore. It allows individual software components to be verified separately, and then uses these results to construct overall system verification. This approach will be standardised and designed in such a way that other verification solutions can be integrated easily. CASCAdE makes the software more resilient to safety and security issues.

Project information

Project name
17034 CASCAdE
Status
Labelled
Call
ITEA 3 Call 4
Challenge
Safety and Security
Website
No website
Partners
18
Costs
13,771 k€
Effort
121.89 PY
Countries
France
Germany
Spain
Sweden

Project partners

Project leader

Name
Bernard Schmidt
Organisation
Robert Bosch GmbH
Country
Germany
Project involvement
17034 CASCAdE