Software-Fehlertoleranz und -Zuverlässigkeit 1984

@proceedings{DBLP:conf/icftcs/1984sftz,
  editor    = {Fevzi Belli and
               Silvia Pfleger and
               Manfred H. Seifert},
  title     = {Software-Fehlertoleranz und -Zuverl{\"a}ssigkeit},
  booktitle = {Software-Fehlertoleranz und -Zuverl{\"a}ssigkeit},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {83},
  year      = {1984},
  isbn      = {3-540-13383-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methodik

• Eike Best: Formale Methoden zur Erstellung robuster Software. 1-9 BibTeX
• Bleicke Eggers: Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung. 10-23 BibTeX
• Wolfgang D. Ehrenberger, Manfred Masur: Ein Schritt in Richtung auf Fail-Safe Software. 24-38 BibTeX

Konstruktive Aspekte

• Stefan Jähnichen, K. Kleine, Guido Persch: Aspekte der Konstruktion robuster Software. 39-50 BibTeX
• Klaus Küspert: Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen. 51-62 BibTeX
• Thomas Risse, Mario Dal Cin, Elmar Dilger: Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO. 63-72 BibTeX

Verteilte Systeme

• Klaus Echtle: Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für verteilte Systeme. 73-88 BibTeX
• Edgar Nett, Reinhold Kröger: Error Recovery in eienr verteilten Systemarchitektur. 89-98 BibTeX
• Santosh K. Shrivastava: Reliable Remote Procedure Calls. 99-104 BibTeX

Wiederaufsetztechniken

• Andreas Pfitzmann: Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung. 105-117 BibTeX
• Silvia Pfleger: Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis. 118-132 BibTeX

Diversität und Votieren

• Erik Maehle, Klaus Moritzen, Klaus Wirl: Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem. 133-142 BibTeX
• Georg Pauthner: Votierung in PDV-Systemen mit diversitärer Redundanz. 143-154 BibTeX
• Udo Voges: Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen. 155-165 BibTeX

Existierende Systeme

• Klaus Borel: CPS 32, ein neues Compupter-Konzept für Fehelrtoleranz und Erweiterbarkeit. 166-169 BibTeX
• Paul Dorfmeister: VISO-DATA - Fehlertoleranter Systemverbund. 170-179 BibTeX
• Ferdinand Herrmann: Das fehlertolerante Informationssystem 8832 - Das Fehlertoleranzkonzept. 180-188 BibTeX
• Alfred Schulz: Das fehlertolerante System TANDEM T16. 189-200 BibTeX
• Benno Steger: Recovery-Verfahren bei UDS ab Version V4.Ø, dargestellt anhand ausgewählter Problemfälle. 201-213 BibTeX

Rechnerunterstützung

• Karl-Erwin Großpietsch: Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung. 214-225 BibTeX
• K. von der Heide: Die Fehlertoleranzeigenschaften der Puffermaschine. 226-243 BibTeX
• Axel Stöhr: Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein Erfahrungsbericht. 244-252 BibTeX

Bewertung

• Fevzi Belli: Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. 253-267 BibTeX
• Ulrich Kammerer: Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme. 268-280 BibTeX
• Rudolf Lauber, S. Zhou: Beurteilung von Verfahren zur Tolerierung von Softwarefehlern. 281-292 BibTeX

Abschlussdiskussion

• Manfred H. Seifert: Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit? 293-297 BibTeX