Diese Arbeit leistet drei Beiträge zur modellbasierten Sicherheitsanalyse. Der erste ist eine Verhaltensbeschreibung für Ausfallverhalten als hybrid system, die konzeptuell bereit für die praktische Anwendung ist. Die zweite ist eine kanonische Form für Fehlerbäume mit der gleichen charakteristischen Funktion sowie ein Algorithmus für deren effiziente Untersuchung in Fehlerbaumvalidierung und -generierung. Der dritte ist eine Annotation für verhaltensorientierte Modelle für die Fehlerbaumgenerierung.     «

Diese Arbeit leistet drei Beiträge zur modellbasierten Sicherheitsanalyse. Der erste ist eine Verhaltensbeschreibung für Ausfallverhalten als hybrid system, die konzeptuell bereit für die praktische Anwendung ist. Die zweite ist eine kanonische Form für Fehlerbäume mit der gleichen charakteristischen Funktion sowie ein Algorithmus für deren effiziente Untersuchung in Fehlerbaumvalidierung und -generierung. Der dritte ist eine Annotation für verhaltensorientierte Modelle für die Fehlerbaumgenerie...     »