← Alle Kapitel Kapitel 19

Der Fehlerbaum im Safety Case

Der Baum ist kein Input für das Sicherheitsargument; er ist dessen Struktur.

Ein Safety Case muss ein Argument aus Behauptungen und Nachweisen sein, keine Dokumentenliste, die nichts beweist. Die Behauptungsstruktur verzweigt genau wie der Baum — je Funktion, je Fehlfunktion, je Grundursache, je Maßnahme — mit den verbleibenden Cut Sets als aufgeschlüsseltem Restrisiko. Vollständigkeit muss auf jeder Ebene selbst behauptet werden, und dort wird die konstruktionsgestützte Garantie des Buchs ehrlich eingelöst.