RTS News

Talk by M.Sc. Mario Günzel, TU Dortmund, Germany

On October 9th, M.Sc. Mario Günzel, a PhD student from TU Dortmund, will be visiting our chair to present part of his research in the field of real-time systems.

The title of his presentation is "Property-Based Timing Analysis of Distributed Real-Time Systems.".

Abstract: For real-time systems, timing guarantees are critical to avoid catastrophic outcomes. While classical real-time systems have been studied extensively in the literature, the trend towards distributed systems poses new challenges. This talk provides an overview of the complexities inherent in analyzing real-time behavior within distributed and parallelized systems. Specifically, it addresses current advancements in the research landscape of self-suspending tasks and cause-effect chains and emphasizes the need for careful, property-based analysis to avoid missing assumptions and flawed results.