AI-supported Compositional Analysis and Synthesis for Intelligent Embedded Applications

Project description

======================================================================= The project is cancelled due to the negative funding outlook from major countries. ======================================================================== New services and solutions for future mobility and industry introduce a new level of complexity for intelligent embedded software systems. ACASIA introduces a mix of AI-based methods and classic methods to allow an optimal compositional verification approach for verification support for critical, parallel embedded software in the area of AI containing software systems. 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.

Project leader

Ambra Calà
Siemens AG, Germany
Project involvement ACASIA
Alt Alt Alt Alt Alt

Project publications