A Model-Based Framework for Analyzing the Safety of System Architectures

We introduce a compositional, model-based framework for modeling, visualizing and analyzing the safety of system architectures for safety-critical cyber-physical systems. Our work provides a unified, end-to-end, framework that encompasses high-level models, fault trees and qualitative and quantitative safety analyses in one semantically coherent framework. Our framework enables the rapid development, modification and evaluation of architectures for complex systems.