DFG project G:(GEPRIS)418275744
Komposition und Abstraktion mit Erklärungen ((02) C02)
| Coordinator | Professor Dr.-Ing. Sven Apel ; Professorin Dr. Christel Baier ; Dr. Sarah Alice Gaggl ; Professor Dr.-Ing. Holger Hermanns |
| Grant period | 2019 - |
| Funding body | Deutsche Forschungsgemeinschaft |
| | DFG |
| Identifier | G:(GEPRIS)418275744 |
⇧ TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt ⇧
Note: 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.
Recent Publications
There are no publications
guest ::
