Foundations of Dependable Systems Holger Hermanns

News

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.

Scope

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

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

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

Exams

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