ACASIA

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. 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