Fehlermaskierung durch verteilte Systeme [Paperback]

1. Einf?hrung.- 1.1 Motivation.- 1.2 ?bersicht.- 2. Anforderungen an das Fehlertoleranz-Verfahren.- 2.1 Rechensystemumgebung.- 2.2 Anwendungsumgebung.- 2.3 Menge der zu tolerierenden Fehler.- 3. Hybridredundante Systeme.- 3.1 Fehlermaskierung und Rekonfigurierung.- 3.2 Bekannte Ans?tze zur Fehlermaskierung in Mehrrechnersystemen.- 3.3 Gemeinsame Bewertung der bekannten Ans?tze.- 4. Konzept der Fehlermaskierung durch verteilte Systeme.- 4.1 Zielsetzung.- 4.2 Voraussetzungen.- 4.3 Neuer Ansatz: Fehlermaskierung durch verteilte Systeme.- 4.3.1 Struktur der Interproze?kommunikation.- 4.3.2 Maskierungs-Protokoll.- 4.3.3 Quittierungs-Protokoll.- 4.3.4 Bestimmung der maximalen Nachrichtenanzahl.- 4.3.5 Rekonfigurierbarkeit.- 4.4 Qualitative Bewertung.- 5. Formale Beschreibung der Fehlermaskierung durch verteilte Systeme.- 5.1 Modellierung der Protokolle f?r verteilte Systeme zur Fehlermaskierung.- 5.1.1 Ablaufmodell.- 5.1.2 Regeln zur Attributierung von Ereignissen.- 5.2 Bestimmung der Menge aller zul?ssigen Protokolle anhand eines Fehlertoleranz-Kriteriums.- 6. Ein Algorithmus zur Realisierung der Fehlermaskierung durch verteilte Systeme.- 6.1 Protokoll.- 6.1.1 Protokoll-Spezifikation.- 6.1.2 Implementierung und Verifikation.- 6.1.3 Erl?uterung der Fehlerbehandlung anhand einiger Beispiele.- 6.2 Quantitative Bewertung.- 7. Grenzf?lle der Fehlermaskierung durch verteilte Systeme.- 7.1 Verringerung der Nachrichtenanzahl.- 7.2 Tolerierung von Mehrfachfehlern.- 8. Abschlie?ende Betrachtung.- 8.1 Zusammenfassung.- 8.2 Ausblick.- Danksagung.- Anhang 1: Beweise.- Anhang 2: Konstrukte der benutzten PseudoProgrammiersprache.- Anhang 3: Bewertete Konfigurationen.- Anhang 4: Tabelle der benutzten Begriffe.- Anhang 5: Tabelle der benutzten Abk?rzungen.Springer Book Archives