Software-Fehlertoleranz und -Zuverlssigkeit (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
298
Utgivningsdatum
1984-09-01
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Belli, F. (ed.), Pfleger, S. (ed.), Seifert, M. (ed.)
Illustrationer
VIII, 298 S.
Dimensioner
244 x 170 x 17 mm
Vikt
499 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540133834

Software-Fehlertoleranz und -Zuverlssigkeit

av F Belli, S Pfleger, M Seifert
Häftad,  Engelska, 1984-09-01
793
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.
Visa hela texten

Passar bra ihop

  1. Software-Fehlertoleranz und -Zuverlssigkeit
  2. +
  3. The Anxious Generation

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).

Köp båda 2 för 1082 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Innehållsförteckning

Methodik.- Formale Methoden zur Erstellung robuster Software.- Studieren geht ber Probieren oder Didaktik und Methodik der fehlerprventiven 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 fr Verteilte Systeme.- Error Recovery in einer verteilten Systemarchitektur.- Reliable Remote Procedure Calls.- Wiederaufsetztechniken.- Strategien zur Festlegung von Rcksetzpunkten in Proze-Systemen unter Bercksichtigung der Programm-Redundanz zur Ausnahmebehandlung.- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis.- Diversitt und Votieren.- Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem.- Votierung in PDV-Systemen mit diversitrer Redundanz.- Der Einsatz von Software-Diversitt in Systemen mit hohen Zuverlssigkeitsanforderungen.- Existierende Systeme.- CPS 32, ein neues Computer-Konzept fr 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 ausgewhlter Problemflle.- Rechneruntersttzung.- Rechnerarchitekturen zur Untersttzung korrekter und transparenter Programmierung.- Die Fehlertoleranzeigenschaften der Puffermaschine.- Leistungsbreite von automatischen Analyse- und Testwerkzeugen fr FORTRAN und PL/1 - Ein Erfahrungsbericht.- Bewertung.- Ein Bndelheuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlssigkeit.- Methoden zur Erstellung und Prfung von Software fr sicherheitsrelevante Prozerechnersysteme.- Beurteilung von Verfahren zur Tolerierung von Softwarefehlern.- Abschludiskussion.- Formale Methoden oder pragmatisches Vorgehen fr die Software-Fehlertoleranz und -Zuverlssigkeit?.

Du kanske gillar