News
16.03.2018
|
Final gradesWe have now entered the grades for the project. You find them as usual on your personal page in the CMS. As announced initially, we calculated the overall grade from the grades of the final exam (70%) and the project (30%). The grades will soon be entered into... Read more We have now entered the grades for the project. You find them as usual on your personal page in the CMS. As announced initially, we calculated the overall grade from the grades of the final exam (70%) and the project (30%). The grades will soon be entered into HISPOS as well. |
05.02.2018
|
ExamThe oral exams take place on Wednesday and Thursday, 7th and 8th February, in room 410, E1 3. The specific time slots can be found in the Materials section of the CMS. |
22.01.2018
|
Final AssignmentThe sixth and final assignment is now available in our CMS. Note that you need at least 133 points (i.e. 50% of the total points) to be admitted to the exam. |
08.01.2018
|
Fifth AssignmentThe fifth assignment is now available in our CMS. |
11.12.2017
|
Fourth AssignmentThe fourth assignment is now available in the CMS. |
04.12.2017
|
Room ChangeEdit: Due to a collision, the lecture on Monday, December 11, will take place in lecture hall 3, E1 3. We decided to permanently move the lectures and the tutorials from the lecture hall to our smaller seminar room (room 401, building E1 3). The next lecture... Read more Edit: Due to a collision, the lecture on Monday, December 11, will take place in lecture hall 3, E1 3. We decided to permanently move the lectures and the tutorials from the lecture hall to our smaller seminar room (room 401, building E1 3). The next lecture (project introduction) today 14h will already take place in room 401. |
30.11.2017
|
ProjectWe just uploaded the project description. Please have a look at it before the lecture on Monday, such that we can form the project groups. In case you cannot attend the lecture, let us know your preferred topics in advance. |
27.11.2017
|
Third AssignmentThe third assignment is now available in our CMS. |
14.11.2017
|
Second AssignmentYou find the second assignment on the Materials page of our CMS. Note, that you are allowed to work in groups. |
27.10.2017
|
First AssignmentDue to the holidays next week, we released the first exercise sheet already today. You find the exercises on the "Materials" page of the CMS. Note that you are allowed to work in groups of up to three students. |
Time and Place
The lectures and tutorials take place on Mondays from 2-4pm and Wednesdays from 10-12am. The course takes place in lecture hall 3 in building E1 3. The first lecture is on October 18, 2017.
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 need to be implemented correctly to prevent serious damage to the environment or even the loss of human lives.
In this course, we will study methods to verify the timing behavior of such systems. In particular, this includes fundamentals of worst-case execution time analysis and real-time scheduling theory. In addition to analysis methods, we will also discuss the design of timing-predictable hardware platforms that ease analysis.
Prerequisites
While there are no specific course prerequisites for this advanced course, a solid background in discrete mathematics is highly recommended, as provided by undergraduate math courses in our bachelor's program. In addition, some C++ programming experience would be valuable for the practical projects.
Projects
There will be practical projects in the context of worst-case execution time analysis. We present a list of topics as well as the modus operandi during the course. The final grade is derived based on your project and exam score.
Exam
The "end of term" exam will take place after the end of the lecture period. A reexam will be offered on demand at the end of the semester.
To be admitted to the exam, at least 50% of the points in the assignments are required.