Software-Fehlertoleranz und -Zuverlässigkeit

1. Front Matter

   Pages I-VII

   PDF

2. Methodik

   1. Formale Methoden Zur Erstellung Robuster Software

      • Eike Best

      Pages 1-9

   2. Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung

      • Bleicke Eggers

      Pages 10-23

   3. Ein Schritt in Richtung Auf Fail-Safe Software

      • Wolfgang Ehrenberger, Manfred Masur

      Pages 24-38

3. Konstruktive Aspekte

   1. Aspekte der Konstruktion robuster Software

      • S. Jähnichen, K. Kleine, G. Persch

      Pages 39-50

   2. Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen

      • Klaus Küspert

      Pages 51-62

   3. Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO

      • Th. Risse, M. Dal Cin, E. Dilger

      Pages 63-72

4. Verteilte Systeme

   1. Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme

      • Klaus Echtle

      Pages 73-88

   2. Error Recovery in einer verteilten Systemarchitektur

      • E. Nett, R. Kröger

      Pages 89-98

   3. Reliable Remote Procedure Calls (Extended Abstract)

      • S. K. Shrivastava

      Pages 99-104

5. Wiederaufsetztechniken

   1. Strategien zur Festlegung von Rücksetzpunkten in Prozeβ-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung

      • Andreas Pfitzmann

      Pages 105-117

   2. Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis

      • S. Pfleger

      Pages 118-132

6. Diversität und Votieren

   1. Experimente Mit N-Version Programmierung auf Dem Dirmu Multiprozessorsystem

      • Erik Maehle, Klaus Moritzen, Klaus Wirl

      Pages 133-142

   2. Votierung in PDV-Systemen mit diversitärer Redundanz

      • Georg Pauthner

      Pages 143-154

   3. Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen

      • Udo Voges

      Pages 155-165

7. Existierende Systeme

   1. CPS 32, ein neues Computer-Konzept für Fehlertoleranz und Erweiterbarkeit

      • Klaus Borel

      Pages 166-169

   2. VISO-DATA — Fehlertoleranter Systemverbund

      • Paul Dorfmeister

      Pages 170-179

   3. Das Fehlertolerante Informationssystem 8832 Das Fehlertoleranzkonzept

      • Ferdinand Herrmann

      Pages 180-188

   4. Das Fehlertolerante System Tandem T16

      • Alfred Schulz

      Pages 189-200

   5. Recovery-Verfahren bei UDS ab Version V4.0, darqestellt anhand ausgewählter Problemfälle

      • Benno Steger

      Pages 201-213

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.

• Datenstrukturen
• FORTRAN
• Modellierung
• Programmentwicklung
• Programmieren
• Programmierung
• Simulation
• Software
• Software-Zuverlässigkeit
• Verifikation
• Zuverlässigkeit

• Systemanalyse, Hochschule Bremerhaven, Bremerhaven, Germany

  Fevzi Belli

• Institut für Systemtechnik, GMD, St. Augustin, Germany

  Silvia Pfleger

• Siemens AG, München 83, Germany

  Silvia Pfleger

• Wissenschaftliches Zentrum, IBM, Heidelberg, Germany

  Manfred Seifert

Policies and ethics