Heinrich Rust

Zuverlässigkeit und Verantwortung

Die Ausfallsicherheit von Programmen

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• DuD-Fachbeiträge
• Verlag: Vieweg+Teubner
• Seitenzahl: 244
• Erscheinungstermin: 19. Februar 2012
• Deutsch
• Abmessung: 210mm x 148mm x 14mm
• Gewicht: 321g
• ISBN-13: 9783322849359
• ISBN-10: 332284935X
• Artikelnr.: 36114893

Autorenporträt

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

Inhaltsangabe

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.