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.