19539
Lecture
WiSe 12/13: Zuverlässige Systeme
Katinka Wolter
Additional information / Pre-requisites
1,2,3
Comments
Inhalt Es wird in die Grundlagen der Zuverlässigkeit und Fehlertoleranz eingeführt (Failure, Fault, Error). Die wichtigsten Fehlertoleranztechniken, spezielle Probleme in verteilten Systemen, Fehlererkennung und die unterschiedlichen Arten von Redundanz werden behandelt. Neben den Techniken zur Entwicklung und Analyse zuverlässiger und fehlertoleranter Systeme werden Methoden und Modelle zur Bewertung der Verlässlichkeit vorgestellt. Dies sind Fehlerbäume, kombinatorische Modelle, sowie Zustandsraum-basierte stochastische Modelle, wie Warteschlangen und Petri-Netze. Für diese Modelle werden analytische, sowie simulative Lösungsverfahren besprochen. Mit Hilfe quantitativer Methoden ist es möglich, verschiedene Systeme zu vergleichen, was sowohl in der Entwurfsphase als auch bei der Verbesserung zuverlässiger Systeme von hoher Bedeutung ist. Die Vorlesung wird von einer Übung begleitet, die aus einzelnen Aufgaben besteht. Ferner gibt es für Interessierte die Möglichkeit, die erworbenen Kenntnisse im Rahmen eines kleinen Projektes anzuwenden. Zielgruppe Studierende im Master- oder Diplomstudiengang.Ab 3. Jahr Bachelorstudium. Studierende mit Nebenfach Informatik. Voraussetzungen Nicht unbedingt nötig aber hilfreich sind Grundlagen in Stochastik. Literatur B. Haverkort. Performance of Computer Communication Systems - A Model-Based Approach. Wiley.K. Echtle. Fehlertoleranzverfahren, Springer-Verlag, Berlin, 1990 D. P. Siewiorek, R.S. Swarz. Reliable Computer Systems, Digital Press,1992R. Jain. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, Wiley- Interscience, 1992. Homepage http://cst.mi.fu-berlin.de/teaching/WS1213/19537-V-ZS/index.html close
16 Class schedule
Regular appointments
Thu, 2012-10-18 12:00 - 14:00
Thu, 2012-10-25 12:00 - 14:00
Thu, 2012-11-01 12:00 - 14:00
Thu, 2012-11-08 12:00 - 14:00
Thu, 2012-11-15 12:00 - 14:00
Thu, 2012-11-22 12:00 - 14:00
Thu, 2012-11-29 12:00 - 14:00
Thu, 2012-12-06 12:00 - 14:00
Thu, 2012-12-13 12:00 - 14:00
Thu, 2012-12-20 12:00 - 14:00
Thu, 2013-01-10 12:00 - 14:00
Thu, 2013-01-17 12:00 - 14:00
Thu, 2013-01-24 12:00 - 14:00
Thu, 2013-01-31 12:00 - 14:00
Thu, 2013-02-07 12:00 - 14:00
Thu, 2013-02-14 12:00 - 14:00