Abstract Interpretation for Embedded AI Code Safety (AIMBOS)
Third party funded individual grant
Acronym: AIMBOS
Start date : 01.01.2025
End date : 31.12.2027
Website: https://sys.cs.fau.de/research/aimbos
Project details
Scientific Abstract
Artificial intelligence (AI), particularly in the form of machine learning models, steadily gains importance in industrial applications. For Schaeffler, the usage of those methods in edge- or embedded devices is of particular interest. Deployment and development of AI solutions in these environments presents a unique array of challenges. This project specifically focuses on proving functional code safety and the correctness of deployed applications. To this end, we will investigate how Abstract Interpretation, a well-known mathematical method to prove a wide range of program properties, can be used and extended for ML-based applications containing (deep) Neural Networks.
Involved:
Contributing FAU Organisations:
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Lehrstuhl für Informatik 4 (Systemsoftware)
