Verification of Real-Time Systems Prof. Jan Reineke, Sebastian Hahn , 6 credit points, Winter Semester 2017

News

16.03.2018

Final grades

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... 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

Exam

The 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 Assignment

The 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 Assignment

The fifth assignment is now available in our CMS.

11.12.2017

Fourth Assignment

The fourth assignment is now available in the CMS.

04.12.2017

Room Change

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... 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

Project

We 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 Assignment

The third assignment is now available in our CMS.

14.11.2017

Second Assignment

You find the second assignment on the Materials page of our CMS. Note, that you are allowed to work in groups.

27.10.2017

First Assignment

Due 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.

Show all
 

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.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact Sebastian Hahn