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 require high reliability in timing assurance to prevent from serious damage to the environment and significant human loss.
In this course, we will study the practical aspects of developing and verifying the real-time systems. The methodology we will follow is to use common RT tools on small-scale synthetic problems to see the real implementation of the concepts learned in the course on scheduling theory. The areas we will cover include
- Worst case execution time analysis
- Schedubility analysis for real schedulers
- Steps for prototyping and testing novel scheduling algorithms
- Real time calculus
- Model checking to verify scheduling
- Multi-core schedulers
The course will conclude with a project per student group, which will help reinforce the learned concepts.
The schedule of the course will be as follows:
|05.11.2013||2||WCET # 1||slides|
|19.11.2013||3||WCET # 2||slides|
|11.02.2014||9||Project submission deadline|