CASCAdE
Compositional Analysis and Synthesis of Critical Embedded Applications
Project description
=====================================================================
The project has cancelled due to the negative funding chance in major countries
=====================================================================
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.
France
Airbus
France
INRIA
France
Kalray SA
France
OCamlPro
France
Sorbonne Université
France
Thales
France
Germany
Accemic Technologies GmbH
Germany
FZI Forschungszentrum Informatik
Germany
Robert Bosch GmbH
Germany
Siemens AG AG
Germany
Spain
IMDEA Software
Spain
Semantic Systems
Spain