Zum Inhalt
Fakultät für Informatik

Property-Based Modulable Timing Analysis and Optimization


Die Website wird ausschließlich auf Englisch angeboten.

Bitte Bildnachweis einfügen

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




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