ACASIA
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.
Germany
Accemic Technologies GmbH
Germany
FZI Forschungszentrum Informatik
Germany
Robert Bosch GmbH
Germany
Siemens AG
Germany
Norway
AutoVeri As
Norway
SINTEF
Norway
Spain
IMDEA Software
Spain
Semantic Systems
Spain
Sweden
The Netherlands
AI in Motion
The Netherlands
Eindhoven University of Technology
The Netherlands
NXP Semiconductors
The Netherlands