Ein Algorithmus zur Realisierung der Fehlermaskierung durch verteilte Systeme

Zusammenfassung

Die Fehlermaskierung durch verteilte Systeme fügt zu den bekannten Fehlermaskierungs-Protokollen die Klasse der m-Protokolle hinzu. Die beiden Kriterien FMVS und FT (siehe Abschnitt 5) definieren diese Klasse in Form der Menge MmP. Die Abschnitte 4.1, 4.3.1 und 4.3.4 erläuterten die Vorteile der m-Protokolle, die sich in einem Mindest- und einem TA-abhängigen Gewinn niederschlagen. Noch unbeantwortet ist allerdings die Frage, ob MmP überhaupt ein einziges Protokoll enthält. Die beschriebenen Beispiele einer m-Protokoll-Grobstruktur, sowie einzelner Verfahrensschritte lassen zwar eine Vielzahl von m-Protokollen vermuten; jedoch zeigt erst der FMVS- und FT-Beweis eines vollständig durch den Maskierungs-Protokoll-Graphen spezifizierten m-Protokolls, daß MmP ‡ Ø. Mit diesem Existenzbeweis der m-Protokolle verbinden sich weitere Bestrebungen:

• * Die Herleitung der MmP-Zugehörigkeit mehrerer m-Protokolle soll die Möglichkeiten beim m-Protokoll-Entwurf umreißen. Während dieser Abschnitt nur ein „typisches“ 3-Protokoll enthält, dringen weitere m—Protokoll-Entwürfe in Abschnitt 7 bis an einige der mittels m-Protokollen erreichbaren Grenzen vor.

• * Neben der MPG-Modellierung soll eine programmiersprachliche Notation die Implementierung eines m-Protokolls konkretisieren und den Ablauf bei der Tolerierung bestimmter Fehlerfälle zeigen.

• * Simulative Bewertungsmethoden sollen den in Abschnitt 4.3.1 anhand von Konfigurationsbeispielen angedeuteten TA-abhängigen Gewinn, sowie die im Mittel tatsächlich benötigte NM-, NI- und NQ-Anzahl über einem hinreichend großen Stichprobenumfang quantifizieren.