Software Verificatio... Wintersemester 2006/... Software Engineering...

Fehlertolerierende Softwarearchitekturen
Zuverlässigkeit und Fehlertoleranz softwarebasierter Systeme

Inhalt der Lehrveranstaltung

Vorlesung:
Donnerstag, 14 - 16, Raum H10
Dozent: Dipl.-Inf. Sven Söhnlein

Anmeldung zur Scheinprüfung:
Die mündliche Prüfung findet am 14./15. Februar statt. Sie müssen sich hierfür bis spätestens Ende Januar per Email anmelden:
Sekretariat@i11.informatik.uni-erlangen.de
mit Angabe von: Name, Vorname, Studienrichtung, Matrikelnummer, Geburtsdatum, benoteter oder unbenoteter Schein.

Die genauen Termine werden dann ab Ende Januar bekannt gegeben.

Folien zur Vorlesung


Kapitel 1: Einführung
Kapitel 2: Klassische Zuverlässigkeitstheorie
Kapitel 3: Systemstrukturen
Kapitel 4: Gemeinsames Versagen diversitärer Software
Kapitel 5: Back-to-Back-Test diversitärer Software
Kapitel 6: Forcierte Diversität
Kapitel 7: Richtlinien zum Entwicklungsprozess fehlertoleranter Software
Kapitel 8: Zuverlässigkeit von Systemkomponenten
(Format: pdf )

 


 

Übung:
Dienstag, 12 - 14, Raum 00.153
Dozent: Dipl.-Inf. Sven Söhnlein

Aufgabenblätter


Aufgabenblatt 1 Aufgabenblatt 6 Aufgabenblatt 11 6
Aufgabenblatt 2 Aufgabenblatt 7 3 Aufgabenblatt 12
Aufgabenblatt 3 1 ,2 Aufgabenblatt 8 Aufgabenblatt 13
Aufgabenblatt 4 Aufgabenblatt 9 4  
Aufgabenblatt 5 Aufgabenblatt 10 5  
(Format: pdf )

 

Materialien

1  Leslie Lamport et al: The Byzantine Generals Problem
2  Foliensatz
3  Foliensatz
4  Foliensatz
5  Foliensatz
6  Foliensatz


top