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
 

Projektbeschreibung

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