SFB 1404/1: Grundlagen der Validierung von Datenanalyseworkflows (TP A01)


Deutsche Projektbeschreibung
Um einen hohen Grad an Zuverlässigkeit bei der Ausführung von DAWs zu erzielen, müssen fehler-hafte Ausführungen frühzeitig und systematisch erkannt werden. Teilprojekt A1 widmet sich dieser Aufgabe durch die Erforschung von formalen Anfragen über DAW Ausführungsdaten, deren Ergebnis auf Fehler schließen lassen. Im Gegensatz zu statistischen Methoden der Fehlervorhersage habenformale Anfragen den Vorteil, dass sie direkt von Anwendern interpretiert werden können und somit eine zielgerichtete Adaption eines DAW zur Behebung der Fehler ermöglichen. Die in A1 abgeleiteten Anfragen sind wichtiger Baustein für das allgemeine Konzept der Validitätsbedingung, das in Team T3 im Fokus steht. Darüber hinaus ergeben sich wichtige Anknüpfungspunkte mit Teilprojekt B6, inwelchem das Fehlverhalten eines DAWs zur Laufzeit untersucht wird. Das Teilprojekt wird von Prof. Schweikardt, ausgewiesen in der Logik und Datenbanktheorie, und Prof. Weidlich, Experte in den Bereichen Prozessanalyse und Process Mining, geleitet.

Englische Projektbeschreibung
An important aspect of DAW dependability is the systematic detection and avoidance of misguided executions. Subproject A1 will approach this problem as query discovery problem: Given a set of execution traces of a DAW or a family of DAWs, find a set of concise queries over the log stream that separate runs that succeeded from those that fail. Query discovery, in contrast to statistical methods for failure prediction, has the advantage that queries can be understood more easily by the DAW developer, which makes adaptation of DAWs to avoid problematic situations possible. An important cooperation will be with B6, which focuses on detecting abnormal behavior at runtime. The project is carried out in cooperation between Prof. Schweikardt, an expert in logic and database theory, and Prof. Weidlich, an expert in process management and mining.

Projektleitung
Weidlich, Matthias Prof. Dr. (Details) (Datenbanken und Informationssysteme)
Schweikardt, Nicole Prof. Dr. (Details) (Theoretische Informatik)

Mittelgeber
DFG Sonderforschungsbereich

Laufzeit
Projektstart: 07/2020
Projektende: 06/2024

Forschungsbereiche
Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme, Theoretische Informatik

Forschungsfelder
Theoretische Informatik

Zuletzt aktualisiert 2025-16-01 um 10:09