Zuverlässigkeit und Verantwortung: Die Ausfallsicherheit von Programmen (DuD-Fachbeiträge) (German Edition)

Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universität Karlsruhe (TH). 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. Front Matter....Pages i-vii Vorwort....Pages 1-1 Front Matter....Pages 3-3 Zum Umfeld der Sicherheitstechnik....Pages 5-26 Grundbegriffe....Pages 27-73 Front Matter....Pages 75-75 Vermeidung von Spezifikationsfehlern....Pages 77-91 Vermeidung von Entwurfs- und Implementierungsfehlern....Pages 93-120 Beweise....Pages 121-137 Tests....Pages 139-158 Statistische Zuverlässigkeits-untersuchungen....Pages 159-175 Redundanz....Pages 177-206 Front Matter....Pages 207-207 Fazit....Pages 209-212 Back Matter....Pages 213-232