Prof. Jian-Jia Chen (Projektleiter der Teilprojekte A1 und A3 im SFB876) erhält den ERC (European Research Council) Consolidator Award 2019 für sein Projekt "PropRT - Property-Based Modable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems". Das Förderung beträgt ca. 2 Millionen Euro für einen Zeitraum von 5 Jahren. Prof. Chen sagte: "Es ist mir eine Ehre, mit dem ERC Consolidator Award ausgezeichnet zu werden."

PropRT wird die Möglichkeiten untersuchen, aus formalen Eigenschaften eine Zeitanalyse für komplexe cyber-physikalische Echtzeitsysteme zu konstruieren. Die Zieleigenschaften sollten modular sein, so dass eine sichere und straffe Analyse sowie Optimierung (halb-)automatisch durchgeführt werden kann. Neue, mathematische, modulierbare und grundlegende Eigenschaften für eigenschaftsbasierte (Schedulability) Timing-Analysen und Scheduling-Optimierungen werden benötigt, um die zentralen Eigenschaften cyberphysikalischer Echtzeitsysteme zu erfassen und damit die mathematische und algorithmische Forschung zum Thema zu ermöglichen. Verschiedene Flexibilitäts- und Tradeoff-Optionen zur Erreichung von Echtzeit-Garantien sollten modularisiert angeboten werden, um Tradeoffs zwischen Ausführungseffizienz und Timing-Vorhersagbarkeit zu ermöglichen.

Ein Teil der vorläufigen Ergebnisse des Projekts wurde im Rahmen des SFB876 gefördert.