Formale Grundlagen der Fehlertoleranz in verteilten Systemen

Abstract

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.