This is the homepage of the course Real-Time Systems and Applications taught in the summer semester 2021.
|Lecture Sessions:||Monday: 12:00-14:00 |
|Exercise Sessions:||Thursday: 10:00-12:00 |
|Associated Persons:||Prof. Dr. Jian-Jia Chen (Lecturer) |
Mario Günzel (Tutor)
|Start of Course:||12.04.2021|
|Credits:||8 Credits (Basismodul)|
Due to Covid-19 we decided to teach this course virtually. Please register in the moodle-course (hyperlink above). There you can find teaching material, login data for the virtual course room (lectures and exercises) and further information. If any issues arise, please contact Mario Günzel.
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 fundamentals from theoretical and practical perspectives to provide formal design and verification of real-time systems. The main objectives are to introduce the basic concepts and some advanced topics in real-time systems, illustrate the most significant and state-of-the-art results in the field, and provide the basic methodologies for designing predictable computing systems which can be used to support critical control applications. The following subjects will be covered in the course:
- Introduction to Task Models and Scheduling
- Uniprocessor Scheduling
- Resource Sharing and Resource Reservation Servers
- Worst-Case Execution Time Analysis and Compilers Perspectives
- Real-Time Operating Systems and Programming Languages
- Real-Time Communications
- Real-Time Calculus
- Multiprocessor Scheduling
A basic background in algorithm analysis, data structures, operating systems, and discrete math will be assumed.
- Giorgio C. Buttazzo, “Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications”, Springer, Second Edition, 2004. ISBN: 0-387-23137-4 (roughly 40% of the lecture)
- Conference and journal papapers in the literature. (Further information during the lecture.)