Logik-basierte, verständliche Supervision zur Laufzeit ((10) A04)

• Fachliche Zuordnung: Theoretische Informatik ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing ; Datenmanagement, datenintensive Systeme, Informatik-Methoden in der Wirtschaftsinformatik
• Förderung: Förderung von 2019 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Dieses Projekt erforscht verständliche Logik-basierte Laufzeit-Supervision in read data–analyse–react (RAR) Zyklen, wie sie beispielsweise mehrmals sekündlich in einem Motorsteuergerät ausgeführt werden. Unsere Vision ist ein Supervisor basierend auf logischen Regeln, wobei (i) Erklärungen aus der deklarativen Repräsentation zusammen mit logischen Schlussfolgerungen entstehen; (ii) Testen durch automatische Verifikation ersetzt wird; und (iii) die verifizierte Regelbasis innerhalb einer RAR-Schleife einsetzbar ist. Wir verbinden zu diesem Zweck Fragmente von Logik erster Stufe für Kontrollaspekte mit arithmetischen Theorien für die abstrakte Repräsentation physikalischen Verhaltens.

• 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
• Teilprojektleiter: Professor Dr. Christof Fetzer; Professor Dr. Markus Krötzsch; Professor Dr. Christoph Weidenbach