|
" Fehlermaskierung durch verteilte Systeme "
von Klaus Echtle.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745336
|
| Doc. No
|
:
|
b565285
|
| Main Entry
|
:
|
von Klaus Echtle.
|
| Title & Author
|
:
|
Fehlermaskierung durch verteilte Systeme\ von Klaus Echtle.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1986
|
| Series Statement
|
:
|
Informatik-Fachberichte, 121.
|
| ISBN
|
:
|
3540164642
|
|
|
:
|
: 3642711472
|
|
|
:
|
: 9783540164647
|
|
|
:
|
: 9783642711473
|
| Contents
|
:
|
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.4 Qualitative Bewertung --; 5. Formale Beschreibung der Fehlermaskierung durch verteilte Systeme --; 5.1 Modellierung der Protokolle für verteilte Systeme zur Fehlermaskierung --; 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.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.
|
| Subject
|
:
|
Computer Communication Networks.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA76.9.F38V665 1986
|
| Added Entry
|
:
|
Klaus Echtle
|
| |