Model-Based Dependent Failure Analysis.

Dependent failures are a critical concern in safety engineering. If such dependencies remain undetected, crucial assumptions underlying safety concepts and safety argumentation may become invalid. Dependent Failure Analysis (DFA) is a method used to identify these dependencies. However, existing methods and techniques to perform DFA systematically and efficiently are lacking in modern model-based tool support. In this paper, we introduce a model-based DFA approach that comprises the associated process, modeling concepts, and interfaces with other model-based safety engineering techniques.