Advertisement

Software-Fehlertoleranz und -Zuverlässigkeit

  • Fevzi Belli
  • Silvia Pfleger
  • Manfred Seifert
Conference proceedings

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 83)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Methodik

  3. Konstruktive Aspekte

  4. Verteilte Systeme

  5. Wiederaufsetztechniken

  6. Diversität und Votieren

  7. Existierende Systeme

  8. Rechnerunterstützung

  9. Bewertung

  10. Abschluβdiskussion

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Fevzi Belli
    • 1
  • Silvia Pfleger
    • 2
    • 3
  • Manfred Seifert
    • 4
  1. 1.SystemanalyseHochschule BremerhavenBremerhavenGermany
  2. 2.Institut für SystemtechnikGMDSt. AugustinGermany
  3. 3.Siemens AGMünchen 83Germany
  4. 4.Wissenschaftliches ZentrumIBMHeidelbergGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-69705-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-13383-4
  • Online ISBN 978-3-642-69705-0
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site