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
