
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
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)
2022
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