Komposition und Abstraktion mit Erklärungen ((02) C02)

• Fachliche Zuordnung: Theoretische Informatik ; Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

Projekt C2 nutzt grundlegende Fortschritte im Bereich kompositioneller quantitativer Verhaltenseigenschaften, um zu verstehen wie formale und empirische Ansätze zu einer umfassenden Evaluation quantitativer Systemeigenschaften kombiniert werden können. Wir fokussieren uns dabei auf Fragen der Leistungsfähigkeit (wie Latenz, Ausführungszeit oder Energieverbrauch) und deren kompositioneller Analyse von Varianten, also darauf, inwiefern Charakteristiken von Varianten die Eigenschaften beeinflussen. Dafür untersucht Projekt C2 die Grenzen empirischer und formaler Verfahren, um Rückschlüsse bezüglich des Einflusses von Störfaktoren, Unsicherheiten und Konfigurierbarkeit zu ziehen, insbesondere im Hinblick auf mögliche Interaktionen zwischen Varianten.

• 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: Professor Dr.-Ing. Sven Apel, seit 1/2023; Professorin Dr. Christel Baier; Dr. Sarah Alice Gaggl, bis 12/2022; Professor Dr.-Ing. Holger Hermanns