Diese Seite wird ausschließlich in englischer Sprache angeboten!
This is the homepage of the course Real-Time Systems and Applications taught in the summer semester 2023.
|Lecture Sessions:||Thursday: TBA |
|Associated Persons:||Prof. Dr. Jian-Jia Chen (Lecturer) |
Nils Hölscher (Tutor/Organization)
Mario Günzel (Tutor)
|Start of Course:||TBA|
|Credits:||8 Credits (Basismodul)|
We hope to offer this course in presence this Semester. You will be able to enrol yourself on Moodle via LSF. Should any questions arise, please contact Nils Hölscher. Moodle room is Not up Yet!
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.)