Dynamisches Konsistenz-Management für autonome Verkehrsagenten (A06#)

• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik ; Softwaretechnik und Programmiersprachen ; Verkehrs- und Transportsysteme, Intelligenter und automatisierter Verkehr
• Förderung: Förderung seit 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263

In diesem Projekt heben wir den Begriff der Design-Zeit-Konsistenz für autonome Verkehrsagenten (ATAs) auf die Ebene dynamischer Laufzeit-Konsistenz, wo eine sich ständig ändernde Umgebung Methoden zur Konsistenz-Wiederherstellung erfordert. Hierzu identifizieren wir zunächst ATA-Konflikte als Situationen, in denen der ATA keine Aktion auswählen kann, ohne Regeln oder zentrale Ziele (z.B. ein Sicherheitsziel) zu verletzen. Wir fassen einzelne Konflikte zu formalisierten Konflikt-Clustern zusammen, um das Problem über unendlich viele einzelne ATA-Konflikte zu argumentieren zu lösen. Anschließend identifizieren wir Lösungsstrategien für jeden Konflikt-Cluster. Da es sich bei einem Konflikt um eine kritische Fahrsituation handelt und zu dessen Lösung häufig ein Verstoß gegen geltende Verkehrsregeln erforderlich ist, ergänzen wir unseren Ansatz mit Erklärungen um die Akzeptierbarkeit konfliktlösender ATAs in der Gesellschaft sicherzustellen.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiterin: Professorin Dr. Maike Schwammberger