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:
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 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.
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|