Verification of Real-Time Systems



Time and Place

The lecture and tutorial take place on Mondays from 2-4pm and Wednesdays from 10-12am. The lecture takes place in lecture hall 3 in building E1 3. The first class is on October 18, 2017.


Real-time systems play a crucial role in many applications, such as avionic control systems, automotive electronics, telecommunications, industrial automation, and robotics. Such safety-critical applications need to be implemented correctly to prevent serious damage to the environment or even the loss of human lives.

In this course, we will study methods to verify the timing behavior of such systems. In particular, this includes fundamentals of worst-case execution time analysis and real-time scheduling theory. In addition to analysis methods, we will also discuss the design of timing-predictable hardware platforms that ease analysis.


While there are no specific course prerequisites for this advanced course, a solid background in discrete mathematics is highly recommended, as provided by undergraduate math courses in our bachelor's program. In addition, some C++ programming experience would be valuable for the practical projects.


There will be practical projects in the context of worst-case execution time analysis. We present a list of topics as well as the modus operandi during the course. The final grade is derived based on your project and exam score.


The "end of term" exam will take place after the end of the lecture period. A reexam will be offered on demand at the end of the semester.

To be admitted to the exam, at least 50% of the points in the assignments are required.

Recommended Literature

  1. Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications
  2. We add more literature during the course.