Kurzfassung

Im Projekt "Model-Based Safety of Automated Electric Vehicles" werden aktuelle internationale Erkenntnisse aus der Verifikation und Erklärbarkeit (xAI) von KI-Systemen mit bewährten Methoden zur Safety und Fehlertoleranz kombiniert. Anhand eines praxisnahen Beispiels eines automatisierten Fahrzeugs auf Basis des hochschuleigenen Lehr- und Forschungsfahrzeugs proTRon sollen die gewonnenen Erkenntnisse und Methoden prototypisch im dynamischen Fahrsimulator FaSiMo demonstriert werden. Ziel ist...Im Projekt "Model-Based Safety of Automated Electric Vehicles" werden aktuelle internationale Erkenntnisse aus der Verifikation und Erklärbarkeit (xAI) von KI-Systemen mit bewährten Methoden zur Safety und Fehlertoleranz kombiniert. Anhand eines praxisnahen Beispiels eines automatisierten Fahrzeugs auf Basis des hochschuleigenen Lehr- und Forschungsfahrzeugs proTRon sollen die gewonnenen Erkenntnisse und Methoden prototypisch im dynamischen Fahrsimulator FaSiMo demonstriert werden. Ziel ist es zu zeigen, wie diese in einem modellbasierten Ansatz implementiert werden können und wie dies die Sicherheit im Fahrzeug erhöht. Die Forschung soll aufzeigen, welche Aussagen über die Verlässlichkeit KI-gesteuerter Cyber-Physikalischer Systeme mittels jüngster Forschungsergebnisse getroffen werden können und wo es noch weitere Herausforderungen gibt. Im Fokus stehen hier insbesondere Erkenntnisse zur formalen Verifikation von Teileigenschaften von KI-Systemen. » weiterlesen» einklappen