Programmanalyse kombiniert mit Laufzeit-Monitoring ((05) C05)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2019 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Dieses Projekt entwickelt Programmanalyse-Techniken zur Verbesserung der Verständlichkeit fehlerhaften Verhaltens in cyber-physischen Systemen. Wir schaffen die Grundlage zur Verwendung konkreter Informationen aus dem Laufzeit-Monitoring, um Fehler mittels schneller statischer Analyse vorherzusagen. Wir untersuchen Fehlertoleranz als Folge von Spekulationen zur Laufzeit. Und wir entwickeln Methoden, um auf Basis von Laufzeitinformationen die Fehlererkennungsrate statischer Analyse zu verbessern, sowie deren Resultate mittels Erklärungen dem Benutzer verständlicher zu machen.

• 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. Christof Fetzer