KI Absicherung
Projektbeschreibung
Autonome Fahrzeuge müssen in der Lage sein, ihre Umgebung wahrzunehmen und angemessen auf sie zu reagieren. Eine fehlerfreie und zuverlässige Umfelderkennung, die alle relevanten Verkehrsteilnehmer korrekt identifizieren und klassifizieren kann, ist eine Grundvoraussetzung für die Umsetzung autonomer Fahrfunktionen. Dies gilt insbesondere für die Wahrnehmung der Umwelt in komplexen städtischen Verkehrssituationen, wo zunehmend Methoden der Künstlichen Intelligenz (KI) eingesetzt werden. Solche auf maschinellem Lernen basierenden KI-Funktionsmodule werden damit zu einer Schlüsseltechnologie.
Eine der größten Herausforderungen bei der Integration dieser Technologien in hochautomatisierte Fahrzeuge ist es, die gewohnte Funktionssicherheit bisheriger Systeme zu gewährleisten, ohne dass der Fahrer im Notfall die Fahraufgabe übernehmen muss. Bestehende und etablierte Absicherungsprozesse lassen sich nicht ohne weiteres auf maschinelle Lernverfahren übertragen.
Das Projekt KI Absicherung arbeitet daran, eine stringente und nachweisbare Sicherheitsargumentation zu etablieren, damit KI-basierte Funktionsmodule (KI-Module) für das hochautomatisierte Fahren abgesichert und validiert werden können.
Forschungsbeitrag
Die fortiss-Teams tragen zu einer Reihe von Forschungsbereichen bei, darunter:
- Entwicklung eines abdeckungsgesteuerten Fuzz-Testing-Frameworks zum Testen der Robustheit von Deep Neural Network (DNN)-Komponenten und einer Reihe von Metriken zur Messung der Vollständigkeit von Testdatensätzen für DNNs
- Definition eines Sicherheitsargumentationsansatzes für eine DNN-basierte Wahrnehmungskomponente zur Spezifikation von Sicherheitsanforderungen für DNN
- Konstruktion von Sicherheitsnachweisen mit DNN-Black-Box-Metriken und Bereitstellung einer Strategie für eine ausreichende Spezifikation aus der Sicherheitsperspektive
- Entwicklung und Implementierung eines Mechanismus zur Messung der Reaktion neuronaler Netze auf Störungen des Inputs und zur Berechnung der maximalen Störung, die unter Beibehaltung korrekter Erkennungen tolerierbar ist
- Konstruktion eines Bayes'schen neuronalen Netzes zur Bewertung der Ausgabeunsicherheit und Entwurf einer Metrik zur Angabe der Generalisierungsfähigkeit des Netzes
Projektdauer
01.07.2019 - 30.06.2022
Kontakt
Weitere Informationen
- Projektseite KI Absicherung Ein Projekt der KI Familie

