Topics

Real-time systems are systems interacting with the real world. Their correctness depends on the timeliness of results. This topic touches many of the classical branches of computer science. It is related to computer architecture like bus design, operating systems, programming languages, software engineering, use cases like multimedia or car electronics, and theoretical computer science. Processor scheduling, a synonym for real-time systems in many universities, is but a true subset of what we try to teach in this course.

The lecture will be a bit heterogeneous, as we are trying to cover a broad range of topics. However, we cut short on scheduling theory and the deeper mathematics, as this is covered in the lecture on quantitative methods of operating system construction.

Slides

1. Introduction
2. Time and Order
3. Modeling Real-Time Systems

Exercises

1. Time and Order on 5th Nov, 4.40 PM (after the lecture)