Künstliche Intelligenz europäisch zertifizieren unter Industrie 4.0
Das zivile Luftverkehrssystem stößt seit Jahren an seine Kapazitätsgrenze, mit vermehrten Verspätungen und Flugstreichungen als Folge. Die Überwindung der Kapazitätsengpässe erfordert vielschichtige Anstrengungen. Auf der technologischen Seite könnte für eine mögliche Lösung die Künstliche Intelligenz (KI) eine Schlüsselrolle spielen, etwa durch Ermöglichen einer effektiveren Luftraumüberwachung oder des Einzelpilotbetriebs, wo heute mindestens zwei Piloten an Bord vorgeschrieben sind. Die Intransparenz und die Komplexität vieler KI-Systeme stellen jedoch eine große Herausforderung für den sicheren Einsatz dieser Technologien in der Luftfahrt dar. Im Rahmen des Verbundvorhabens KIEZ4-0 (Künstliche Intelligenz Europäisch Zertifizieren unter Industrie 4.0) forscht fortiss daher gemeinsam mit den Projektpartnern an Konzepten, wie die Sicherheit von KI-gestützten Anwendungen in der Luftfahrt wie etwa dem Einzelpilotbetrieb zertifiziert werden kann. Außerdem wird am Beispiel einer Flight-Mission-Management-Anwendung untersucht, welchen Beitrag formale Methoden zur Zertifizierung solcher Systeme leisten können.
01.07.2020 – 31.12.2023