Overview

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.

Full Product Details

Author:   F. Belli ,  S. Pfleger ,  M. Seifert
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   83
Dimensions:   Width: 17.00cm , Height: 1.70cm , Length: 24.40cm
Weight:   0.542kg
ISBN:  

9783540133834

ISBN 10:   3540133836
Pages:   298
Publication Date:   01 September 1984
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

Methodik.- Formale Methoden zur Erstellung robuster Software.- Studieren geht uber Probieren oder Didaktik und Methodik der fehlerpraventiven 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 fur Verteilte Systeme.- Error Recovery in einer verteilten Systemarchitektur.- Reliable Remote Procedure Calls.- Wiederaufsetztechniken.- Strategien zur Festlegung von Rucksetzpunkten in Prozess-Systemen unter Berucksichtigung der Programm-Redundanz zur Ausnahmebehandlung.- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis.- Diversitat und Votieren.- Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem.- Votierung in PDV-Systemen mit diversitarer Redundanz.- Der Einsatz von Software-Diversitat in Systemen mit hohen Zuverlassigkeitsanforderungen.- Existierende Systeme.- CPS 32, ein neues Computer-Konzept fur 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 ausgewahlter Problemfalle.- Rechnerunterstutzung.- Rechnerarchitekturen zur Unterstutzung korrekter und transparenter Programmierung.- Die Fehlertoleranzeigenschaften der Puffermaschine.- Leistungsbreite von automatischen Analyse- und Testwerkzeugen fur FORTRAN und PL/1 - Ein Erfahrungsbericht.- Bewertung.- Ein Bundel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlassigkeit.- Methoden zur Erstellung und Prufung von Software fur sicherheitsrelevante Prozessrechnersysteme.- Beurteilung von Verfahren zur Tolerierung von Softwarefehlern.- Abschlussdiskussion.- Formale Methoden oder pragmatisches Vorgehen fur die Software-Fehlertoleranz und -Zuverlassigkeit?.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions