| Thiele Lothar
Real-time systems play a crucial role in our society since an increasing number of complex systems rely, in part or completely, on dependable and timely operation. This course will first give an introduction into the basic concepts of real-time computing and then treat two major issues, namely real-time scheduling and real-time kernels. Real-time scheduling will concentrate on predictable scheduling algorithms and provide the scientific methodology for the design of real-time systems. Real-time kernels will address the challenges and issues in the design and implementation of real-time operating systems.
- Architectures of embedded systems (overview)
- Task models and real-time metrics
- Overview about non-real-time scheduling methods
- Aperiodic task scheduling (algorithms and correctness proofs)
- Periodic task scheduling (rate monotonic scheduling, earliest deadline-first scheduling, algorithms and correctness proofs)
- Mixed task sets and resource virtualisation using servers
- Resource access protocols
- Real-time operating systems
- Low-power and real-time (energy minimisation under real-time constraints)
Suitable material will be provided directly by the professor.