Many of the (embedded) software systems we are confronted with in everyday life have time-critical functionalities. For example, in the event of an accident, an airbag should be activated within a specific, very short, period of time. As another example: we expect fast response times from our smartphones so that we can use them conveniently and purposefully.
When modeling software systems, "time" is therefore a decisive factor. In this seminar, various mechanisms to formalise and analyse so-called real-time systems are discussed. For instance, the following topics are considered:

• Timed Games
• Applications of Timed Systems (e.g. UPPAAL in Space)
• Synthesising Strategies using UPPAAL Stratego
• Duration Calculus (e.g. Satisfiability, Restricted DC, Calculus)
• Interval Temporal Logic
• ....

The seminar participants will prepare papers and topic talks for the provided topics. Aditionally, a conference-style peer-review process for the papers is planned amongst the students. It is also expected that the students actively discuss their topics with their fellow students. For this, at least monthly discussion rounds are planned, where the participants discover connection points between the different topics are to be identified and discussed.