Many of the (embedded) software systems we are confronted with in
everyday life have time-critical functionalities. For example, an airbag should
be activated within a certain, very short period of time in the event of an
accident. We also expect fast response times from the various apps on our
smartphones so that we can use them conveniently and effectively.
"Time" is therefore a crucial factor when modeling software systems. In this
lecture, various mechanisms are described for formalizing so-called real-time
systems. In addition to modeling, the lecture also focuses on analyzing the
systems. The following topics in particular are covered:

• Timed Automata (an extension of finite automata to include time)
• Temporal Logics (Computation Tree Logic)
• Model checking of Timed Automata using the Tool UPPAAL
• Duration Calculus (a logic that talks about time intervals)
• Extensions and applications of Timed Systems

The weekly lecture consists of both theoretical and applied parts. Exercises
are offered to apply and transfer the lecture content and are discussed in the
bi-weekly exercise. Additionally, interactive lecture parts will be included in
the lecture schedule, to foster active learning instead of purely theoretical and
frontal content. Invited talks from academia and industry will further on shed
light on real-world applications of timed systems.

IMPORTANT NOTE:

The first lecture will be on THURSDAY, April 24, 2025, 11:30-13:00.

Thus, there will be NO LECTURE on TUESDAY, April 22nd, 9:45-11:15.