AI-supported Compositional Analysis and Synthesis for Intelligent Embedded Applications

Project description

New services and solutions for future mobility and Industry introduce a new level of complexity for intelligent embedded software systems. This challenge is addressed within ACASIA by introducing 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. This approach will be standardised and designed in such a way that other verification solutions can be integrated easily. ACASIA makes the software more resilient to safety and security issues.

Project leader

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

Project publications