Abschlussarbeit im Bereich KI-gestützte formale Verifikation - Anwendungsentwicklung, Ingenieur

Moderne Fahrzeuge werden mit immer komplexerer Software ausgestattet, die oft auch in kritische Fahrfunktionen eingebunden ist. Um sicherzustellen, dass die kritischen Software- Komponenten in allen Fahrsituationen korrekt funktionieren, muss viel Aufwand in das Testen und in die formale Verifikation (mathematischer Nachweis der Fehlerfreiheit) investiert werden.

Im Rahmen der Thesis soll untersucht werden, inwieweit innovative KI- Assistenten die Nutzung von formalen Verifikationswerkzeugen bei der Softwareentwicklung vereinfachen können. Im Fokus steht dabei vor all...