Software-Fehlertoleranz und -Zuverlässigkeit

Methodik.- Formale Methoden zur Erstellung robuster Software.- Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung.- Ein Schritt in Richtung auf Fail-Safe Software.- Konstruktive Aspekte.- Aspekte der Konstruktion robuster Software.- Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen.- Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO.- Verteilte Systeme.- Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme.- Error Recovery in einer verteilten Systemarchitektur.- Reliable Remote Procedure Calls.- Wiederaufsetztechniken.- Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung.- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis.- Diversität und Votieren.- Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem.- Votierung in PDV-Systemen mit diversitärer Redundanz.- Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen.- Existierende Systeme.- CPS 32, ein neues Computer-Konzept für Fehlertoleranz und Erweiterbarkeit.- VISO-DATA - Fehlertoleranter Systemverbund.- Das fehlertolerante Informationssystem 8832 - Das Fehlertoleranzkonzept.- Das fehlertolerante System TANDEM T16.- Recovery-Verfahren bei UDS ab Version V4.0, dargestellt anhand ausgewählter Problemfälle.- Rechnerunterstützung.- Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung.- Die Fehlertoleranzeigenschaften der Puffermaschine.- Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein Erfahrungsbericht.- Bewertung.- Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit.- Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme.- Beurteilung von