CASCAdE+
Compositional Analysis and Synthesis for Critical Embedded Applications +
Project description
_______________________________________________________________________________________________________________________________________________________________
Due to lack of funding in the main countries, this project was cancelled
_______________________________________________________________________________________________________________________________________________________________
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 for verification support for parallel SW for multicore. It allows individual software components to be analysed separately, and then uses these results to construct an overall system that is verified, safe and secure. 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.
Belgium
Siemens Industry Software NV
Belgium
Spain
IMDEA Software
Spain
Semantic Systems
Spain
Sweden
ABB AB
Sweden
ALSTOM Rail Sweden AB
Sweden
Alten
Sweden
Mälardalen University
Sweden
Prover Technology
Sweden
X WARE AB
Sweden