FOUNDATIONS OF DEPENDABLE SYSTEMS

Jump to: Audience Contents Dates Grading Registration Instructor Assistant Literature

Audience

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.

Contents

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.

Dates

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.

Registration

If you are interested, please register for the course in the dCMS. You will also have to register in the central LSF/HISPOS system, once available. The deadline for the latter is expected to be in early May.

Instructor

Jump to: Audience Contents Dates Grading Registration Instructor Assistant Literature