Zuverlässigkeit und Verantwortung: Die Ausfallsicherheit von Programmen / Edition 1

by Heinrich Rust

Overview

Die aktuelle Frage nach der Zuverlässigkeit von programmgestützten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, möglichst präzise Anworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der Informatik für diesen Zweck entwickelt und vorgeschlagen werden. Im Verlaufe der Untersuchung, die von Spezifikationen und Beweisen über Programmtests zur Bewertung verschiedener auf Statistik basierender Verfahren fortschreitet, wird die These erhärtet, daß das menschliche Verständnis und damit die Möglichkeit zu individueller Übernahme von Verantwortung das Erfolgskriterium solcher Verfahren ist, und zwar sowohl aus theoretischen wie aus praktischen Gründen.

Product Details

ISBN-13:	9783322849359
Publisher:	Vieweg+Teubner Verlag
Publication date:	02/19/2012
Series:	DuD-Fachbeiträge
Edition description:	Softcover reprint of the original 1st ed. 1994
Pages:	231
Product dimensions:	5.83(w) x 8.27(h) x 0.02(d)
Language:	German

About the Author

Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universität Karlsruhe (TH).

Table of Contents

Vorwort.- I Umfeld und Grundbegriffe.- 1 Zum Umfeld der Sicherheitstechnik.- 2 Grundbegriffe.- II Sicherung der Zuverlässigkeit.- 3 Vermeidung von Spezifikationsfehlern.- 4 Vermeidung von Entwurfs- und Implementierungsfehlern.- 5 Beweise.- 6 Tests.- 7 Statistische Zuverlässigkeitsuntersuchungen.- 8 Redundanz.- III Folgerungen.- 9 Fazit.- IV Anhang.- Literatur.