Schnelle, sichere und verständliche Laufzeit-Planung ((06) C06)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

In dynamischen Umgebungen können unter Realzeit-Bedingungen Entscheidungen durch eine vorab maschinell gelernte Strategie getroffen werden, insbesondere in Form neuronaler Netzwerke. Letztere lernen während der Entwurfszeit eine Strategie, die dann zur Laufzeit einfach aufgerufen werden kann, um die dann auszuführende Aktion auszuwählen. Diese Form von Planung zur Laufzeit ist schnell, bringt aber gravierende Probleme in Bezug auf Sicherheit und Verstehbarkeit mit sich. Projekt C6 entwickelt Lösungen für diese Probleme mittels einer Reihe von Methoden auf Basis deklarativer Modelle oder Simulatoren der Umgebung.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiterinnen / Teilprojektleiter: Professorin Dr. Maria Christakis; Professor Dr. Matthias Hein, bis 12/2022; Professor Dr. Jörg Hoffmann; Professorin Dr. Isabel Valera, seit 1/2023