Textdokument
Formale Grundlagen der Fehlertoleranz in verteilten Systemen
Lade...
Volltext URI
Dokumententyp
Zusatzinformation
Datum
2003
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik
Zusammenfassung
Die Literatur über fehlertolerante Computersysteme ist mannigfaltig: Mindestens ein halbes Dutzend wissenschaftliche Zeitschriften beschäftigen sich ausschließlich mit Fehlertoleranzmethoden und deren Validierungsmöglichkeiten, und es gibt etwa doppelt so viele jährlich stattfindende Konferenzen zu diesem Thema. Obwohl in den letzten Jahren durchaus lesenswerte Einführungen in Form von Büchern oder Zeitschriftenartikeln erschienen sind, ist das Gebiet noch weit entfernt von einer einheitlichen, konsistenten Darstellung. Für Neulinge bleibt der Einstieg in diesen Themenbereich darum schwer. Es gibt viele Argumente dafür, daß der Grund hierfür in der mangelnden formalen Ausrichtung des Gebietes liegt. Schließlich existiert noch keine gesicherte theoretische Basis vieler Fehlertoleranzverfahren. Dieser Beitrag faßt die Ansätze einer solchen Theorie aus der Literatur zusammen und beschreibt in aller Kürze die Beiträge, die in der Dissertation des Autors zu dieser Theorie geleistet wurden.