AIMBOS

AIMBOS: Abstract Interpretation for Embedded AI Code Safety

(Drittmittelfinanzierte Einzelförderung)


Projektleitung:
Projektbeteiligte:
Projektstart: 1. Januar 2025
Projektende: 31. Dezember 2027
Akronym: AIMBOS
Mittelgeber: andere Förderorganisation
URL: https://sys.cs.fau.de/research/aimbos

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.

Externe Partner:

  • Schaeffler Technologies AG & Co. KG

Publikationen: