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.

Links : Press announcement at TU Dortmund

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