AG Technische Informatik

Zuverlässige Systeme (Dependable Systems)

The module Dependable Systems (Zuverlässige Systeme) covers the basic concepts and architectures of dependable computer systems. This includes among others: Basics of Fault-tolerant Systems (error, fault, failure), redundancy techniques, fault masking. Methods for the evaluation of dependable systems, such as fault-treel, reliability block diagrams, state-space based models such as Markov Chains and Queueing Systems, fundamentals of Simulation.

(19355)

Typ

Vorlesung

Dozent/in

Prof. Dr. Katinka Wolter

Institution

Institute of Computer Science

Freie Universität Berlin

Semester

WS 10/11

Veranstaltungsumfang

Leistungspunkte

5

Raum

Takustraße 9

SR 006

Zeit

 Office Hours: Mo 12-14
Time: Monday, Wednesday, Friday, 16-18

Tutorials

  • Monday 6-8pm - Takustraße 9 SR 006
  • Wednesday 6-8pm - Takustraße 9 SR 006
  • Friday 6-8pm - Takustraße 9 SR 006
First Tutorial on Friday, Sep. 24,2010.

Zielgruppe

3rd year BSc, Masc or Diploma students

Voraussetzungen

none

Literaturliste

Most relevant text books for this course

  • D. P. Siewiorek, R.S. Swarz. Reliable Computer Systems, Digital Press, 1992
  • B. Haverkort. Performance of Computer Communication Systems - A Model-Based Approach. Wiley.
  • R. Jain. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, Wiley- Interscience, 1992.

Other text books for this course

  • K. Echtle. Fehlertoleranzverfahren, Springer-Verlag, Berlin, 1990
  •  Martin L. Shooman. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design, John Wiley & Sons, 2002.
  •  Jean-Claude Geffroy, Gilles Motet, J. C. Geffroy. Design of Dependable Computing Systems, Springer Netherlands, 2002.

KVV page

Exercises

There will be 5 exercise sheets. Exercises are marked based on presentation in the exercise classes. Each participant has to vote for assignments of which he/she can present the solution.
Sheet 1
Sheet 2
Sheet 3
Sheet 4

Sheet 5

Examination

The examination will take place on October 22, 2010 4-6pm.