Foundations of Dependable Systems Holger Hermanns


Currently, no news are available

Foundations of Dependable Systems

This advanced lecture adresses Master students in Computer Science and related programs. Bachelor students must have passed the base lecture Programming 1 (Programmierung 1) and Concurrent Programming (Nebenläufige Programmierung). The base lecture Math 3 (Stochastik) is recommended. The language of the course is English.


The course will explain foundations of dependable systems, ranging from static fault trees to dynamic and more advance modelling and evaluation concepts. An emphasis will be put on state-of-the-art compositional Markov modelling approaches.


Lectures take place between 23 April and 24 July at the following times:

Thu   14:15-16:00   in E1 3, SR 016
Fri   10:15-12:00   in E1 3, SR 016


Tutorials take place whenever appropriate within the lecture slots indicated above.


There will be individual oral exams in early September. Qualification for the exam requires the written solution of a theoretical assignement.

If you encounter technical problems, please contact the administrators