Ebook: Software-Fehlertoleranz und -Zuverlässigkeit

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

---

---

Content:
Front Matter....Pages I-VII
Formale Methoden Zur Erstellung Robuster Software....Pages 1-9
Studieren geht ?ber Probieren oder Didaktik und Methodik der fehlerpr?ventiven Programmentwicklung....Pages 10-23
Ein Schritt in Richtung Auf Fail-Safe Software....Pages 24-38
Aspekte der Konstruktion robuster Software....Pages 39-50
Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen....Pages 51-62
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO....Pages 63-72
Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen f?r Verteilte Systeme....Pages 73-88
Error Recovery in einer verteilten Systemarchitektur....Pages 89-98
Reliable Remote Procedure Calls (Extended Abstract)....Pages 99-104
Strategien zur Festlegung von R?cksetzpunkten in Proze?-Systemen unter Ber?cksichtigung der Programm-Redundanz zur Ausnahmebehandlung....Pages 105-117
Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis....Pages 118-132
Experimente Mit N-Version Programmierung auf Dem Dirmu Multiprozessorsystem....Pages 133-142
Votierung in PDV-Systemen mit diversit?rer Redundanz....Pages 143-154
Der Einsatz von Software-Diversit?t in Systemen mit hohen Zuverl?ssigkeitsanforderungen....Pages 155-165
CPS 32, ein neues Computer-Konzept f?r Fehlertoleranz und Erweiterbarkeit....Pages 166-169
VISO-DATA — Fehlertoleranter Systemverbund....Pages 170-179
Das Fehlertolerante Informationssystem 8832 Das Fehlertoleranzkonzept....Pages 180-188
Das Fehlertolerante System Tandem T16....Pages 189-200
Recovery-Verfahren bei UDS ab Version V4.0, darqestellt anhand ausgew?hlter Problemf?lle....Pages 201-213
Rechnerarchitekturen zur Unterst?tzung korrekter und transparenter Programmierung....Pages 214-225
Die Fehlertoleranzeigenschaften der Puffermaschine....Pages 226-243
Leistungsbreite von automatischen Analyse- und Testwerkzeugen f?r FORTRAN und PL/1 — Ein Erfahrungsbericht....Pages 244-252
Ein B?ndel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverl?ssigkeit....Pages 253-267
Methoden zur Erstellung und Pr?fung von Software f?r sicherheitsrelevante Proze?rechnersysteme....Pages 268-280
Beurteilung von Verfahren zur Tolerierung von Softwarefehlern....Pages 281-292
Formale Methoden oder pragmatisches Vorgehen f?r die Software-Fehlertoleranz und -Zuverl?ssigkeit?....Pages 293-297

---

Content:
Front Matter....Pages I-VII
Formale Methoden Zur Erstellung Robuster Software....Pages 1-9
Studieren geht ?ber Probieren oder Didaktik und Methodik der fehlerpr?ventiven Programmentwicklung....Pages 10-23
Ein Schritt in Richtung Auf Fail-Safe Software....Pages 24-38
Aspekte der Konstruktion robuster Software....Pages 39-50
Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen....Pages 51-62
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO....Pages 63-72
Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen f?r Verteilte Systeme....Pages 73-88
Error Recovery in einer verteilten Systemarchitektur....Pages 89-98
Reliable Remote Procedure Calls (Extended Abstract)....Pages 99-104
Strategien zur Festlegung von R?cksetzpunkten in Proze?-Systemen unter Ber?cksichtigung der Programm-Redundanz zur Ausnahmebehandlung....Pages 105-117
Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis....Pages 118-132
Experimente Mit N-Version Programmierung auf Dem Dirmu Multiprozessorsystem....Pages 133-142
Votierung in PDV-Systemen mit diversit?rer Redundanz....Pages 143-154
Der Einsatz von Software-Diversit?t in Systemen mit hohen Zuverl?ssigkeitsanforderungen....Pages 155-165
CPS 32, ein neues Computer-Konzept f?r Fehlertoleranz und Erweiterbarkeit....Pages 166-169
VISO-DATA — Fehlertoleranter Systemverbund....Pages 170-179
Das Fehlertolerante Informationssystem 8832 Das Fehlertoleranzkonzept....Pages 180-188
Das Fehlertolerante System Tandem T16....Pages 189-200
Recovery-Verfahren bei UDS ab Version V4.0, darqestellt anhand ausgew?hlter Problemf?lle....Pages 201-213
Rechnerarchitekturen zur Unterst?tzung korrekter und transparenter Programmierung....Pages 214-225
Die Fehlertoleranzeigenschaften der Puffermaschine....Pages 226-243
Leistungsbreite von automatischen Analyse- und Testwerkzeugen f?r FORTRAN und PL/1 — Ein Erfahrungsbericht....Pages 244-252
Ein B?ndel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverl?ssigkeit....Pages 253-267
Methoden zur Erstellung und Pr?fung von Software f?r sicherheitsrelevante Proze?rechnersysteme....Pages 268-280
Beurteilung von Verfahren zur Tolerierung von Softwarefehlern....Pages 281-292
Formale Methoden oder pragmatisches Vorgehen f?r die Software-Fehlertoleranz und -Zuverl?ssigkeit?....Pages 293-297
....