PropRT will explore the possibilities to construct timing analysis for complex cyber-physical real-time systems from formal properties. The target properties should be modular so that safe and tight analysis as well as optimization can be performed (semi-)automatically. New, mathematical, modulable, and fundamental properties for property-based (schedulability) timing analyses and scheduling optimizations are needed to capture the pivotal properties of cyber-physical real-time systems, and thus enable mathematical and algorithmic research on the topic. Different flexibility and tradeoff options to achieve real-time guarantees should be provided in a modularized manner to enable tradeoffs between execution efficiency and timing predictability.
This project will provide a comprehensive view of the landscape of design, analysis, and optimization options for timing properties in cyber-physical real-time systems. Advanced optimization and analytical frameworks based on the formal properties of scheduling algorithms and schedulability analysis will serve as new ingredients for designing predictable cyber-physical systems, which will trigger a revolution of computer architectures, system modeling, communication mechanisms, and synchronization designs in the near future. The results will bring a new design process to further allow control designers and system integrators in cyber-physical real-time systems to jointly explore different configurations of controllers, computation, and communication parameters for designing timing predictable cyber-physical system applications.
The project is planned to start in 2020.
Publications
2023
- Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms
Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Jian-Jia Chen
In 31st International Conference on Real-Time Networks and Systems (RTNS)
2023 - Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems (Preprint)
Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen and Tei-Wei Kuo
In 60th ACM/IEEE Design Automation Conference (DAC)
2023 - On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains (Preprint)
Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen and Jian-Jia Chen
In 35th Euromicro Conference on Real-Time Systems (ECRTS)
2023 - Parallel Path Progression DAG Scheduling
Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
In IEEE Transactions on Computers
2023 - Type-aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms
Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke and Jian-Jia Chen
In IEEE Transactions on Computers 72(5): 1286-1300
2023 - Compositional Timing Analysis of Asynchronized Distributed Cause-Effect Chains
Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, and Jian-Jia Chen
In ACM Transactions on Embedded Computing Systems
2023
2022
- End-To-End Timing Analysis in ROS2 (Preprint) (Artifact)
Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen
In 43rd IEEE Real-Time Systems Symposium (RTSS), 53-65
2022 - Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited
Kuan-Hsun Chen, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
In 43rd IEEE Real-Time Systems Symposium (RTSS), 145-157
2022 - EDF-Like Scheduling for Self-Suspending Real-Time Tasks (Preprint) (Artifact)
Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen and Jian-Jia Chen
In 43rd IEEE Real-Time Systems Symposium (RTSS), 172-184
2022 - Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, and Jian-Jia Chen
In ACM SIGBED International Conference on Embedded Software (EMSOFT) (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4157-4168)
2022 - On the Trade-offs between Generalization and Specialization in Real-Time Systems
Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, and Jan Reineke
In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 148-159
2022 - Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization (Artifact)
Kuan-Hsun Chen, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff and Jian-Jia Chen
In 34th Euromicro Conference on Real-Time Systems (ECRTS), 6:1-6:22
2022
2021
- Efficiently Approximating the Worst-Case Deadline Failure Probability Under EDF
Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik, Björn B. Brandenburg
IEEE Real-Time Systems Symposium (RTSS), pp 214-226
2021 - Response-Time Analysis and Optimization for Probabilistic Conditional Parallel DAG Tasks
Niklas Ueter, Mario Günzel, Jian-Jia Chen
IEEE Real-Time Systems Symposium (RTSS), pp 380-392
2021 - Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines And Arrival Curves.
Mario Günzel, Niklas Ueter, and Jian-Jia Chen,
IEEE Real-Time Systems Symposium (RTSS), pp 418-430
2021 - HEART: Hybrid memory and Energy-Aware Real-Time scheduling for multi-processor systems
Mario Guenzel, Christian Hakert, Kuan-Hsun Chen and Jian-Jia Chen.
In 21th International Conference on Embedded Software (EMSOFT)
ACM Transactions on Embedded Computing Systems, Volume 20, Issue 5s, October 2021, Article No.: 88, pp 1–23
2021 - Hard Real-Time Stationary GANG Scheduling.
Niklas Ueter, Mario Günzel, Georg von der Brüggen and Jian-Jia Chen.
In 33rd Euromicro Conference on Real-Time Systems (ECRTS), pp. 10:1-10:19
2021 - On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.
Jian-Jia Chen, Wen-Hung Huang, Georg von der Brüggen, Kuan-Hsun Chen, Niklas Ueter.
In A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday.
2021