Start of course: Monday, April 13rd, 2015
Classroom sessions
Monday: 10:15 - 11:45, OH12/E.003
Tuesday: 12:15 - 13:45, OH12/E.003
Credits: 8 (Basismodul)
Finals: Oral Exam. Please contact the chair secretary Claudia Graute to get a time slot for the exam. There will be three exam blocks in August, September and Oktober:
10.08.+11.08.2015 - Deadline for registering already expired.
08.09.+09.09.2015 - Deadline for registering already expired.
13.10.+14.10.2015
There wil be up to 5 exams each day with the first possible slot at 9:00 am, then every 40 Minutes.
If you got any questions regarding the exam dates etc. please contact Georg von der Brüggen
Exercise
Thursday: 10:15-11:45 OH16/E18 (Group 1)
Thursday: 14:15-15:45 OH16/E18 (Group 2)
Lab sessions: OH16/U09, same time
Exercises will be uploaded to the website one week before the exercise sessions.
Solutions can be placed into the mailbox of LS 12 on the first floor of Otto-Hahn-Straße 16 (right corridor) until 13:00 on Wednesday.
Tutor: Georg von der Brüggen
If you got any questions regarding the exercises please write an email.
Course Introduction:
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 foundemtals from theoretical and practical perspetives 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:
Prerequisites:
A basic background in algorithm analysis, data structures, operating systems, and discrete math will be assumed.
Literature:
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. To be available
References:
WCET:
Real-Time Calculus:
Multiprocessor Scheduling:
Schedule:
Session | Subject | Slides and Supplementary Materiall |
13.04.15 | Introduction of Real-Time Systems | |
14.04.15 |
Task Models and Scheduling Policies |
|
16.04.15 |
Exercise 1: (deliver of the first sheet - Ex. 2) |
Exercise_2.pdf |
20.04.15 |
RM and DM Scheduling (I) |
|
21.04.15 |
RM and DM Scheduling (II) |
|
23.04.15 |
Exercise 2 |
Exercise_3.pdf |
27.04.15 |
EDF Scheduling |
|
28.04.15 | Resource Augmentations and Approximations | 04-Resource-Augmentation.pdf |
30.04.15 | Exercise 3 | |
04.05.15 | Worst-Case Execution Time (WCET) (I) | 05-WCET.pdf |
05.05.15 | Worst-Case Execution Time (WCET) (II) | |
07.05.15 | Exercise 4 (lab) | |
11.05.15 | WCC | 05-B-WCC.pdf |
12.05.15 | Resource Reservation Servers | 06-Servers |
14.05.15 | No Exercise (Christi Himmelfahrt) | |
18.05.15 |
Non-Preemptive and Limited Preemptive Scheduling |
07-Non-Preemptive-Scheduling.pdf |
19.05.15 |
Resource Access Protocols |
08-Resource.pdf |
21.05.15 |
Exercise 5 (lab) |
|
22.05.15 |
Deliver of Exercise 6 |
Exercise_6.pdf |
25.05.15 |
No Lecture (Pfingstmontag) |
|
26.05.15 |
Self-Suspension |
09-Suspension.pdf |
28.05.15 |
Exercise 6 |
|
01.06.15 |
Real-Time Calculus |
10-RTCalculus.pdf |
02.06.15 |
General Utilization-Based Schedulability |
11-k2U.pdf |
04.06.15 |
No Exercise (Fronleichnam) |
Exercise_7.pdf |
08.06.15 |
Break (no lecture) |
|
09.06.15 |
Real-Time Communication |
12-Communication.pdf |
11.06.15 |
Exercise 7 |
Exercise_8.pdf |
15.06.15 |
Real-Time Programming Languages |
13-RTPL.pdf |
16.06.15 | Real-Time Operating Systems | |
18.06.15 | Exercise 8 |
Exercise_9.pdf |
22.06.15 | Multiprocessor Scheduling (I) - Partitioned Scheduling | 15-Partition.pdf |
23.06,15 | Multiprocessor Scheduling (II) - Partitioned Scheduling | |
25.06.15 | Exercise 9 | Exersice_10.pdf |
29.06.15 | Multiprocessor Scheduling (III) - Global Scheduling | |
30.06.15 | Multiprocessor Scheduling (IV) - Global Scheduling |
|
02.07.15 | Exercise 10 | |
06.07.15 | Multiprocessor Scheduling (V) - Semi-Partitioned Scheduling and Parallelization | |
07.07.15 | Break (no lecture) | |
09.07.15 | Exercise 11 (lab) | Exercise_9.pdf |
13.07.15 | Power-Aware Design in Real-Time Systems | 19-DVFS.pdf |
14.07.15 | Mixed-Criticality, Model-Based Design and Conclusion | 20-Conclusion.pdf |
16.07.15 | Exercise 12 |
The schedule is preliminary and maybe changed slightly during the semester. The slides linked already are from the previous year. The slides for this term will be added / updated during the semester.
Changes in the schedule are blue (different order etc) while canceled lectures will be marked red. Black links are slides from the last semester. Blue links are slides already updated / added. Red links were changed again after the release. If they are changed more then once the date of the last change will be added.