Computer-implemented method for generating a mixed-layer fault tree of a multi-component system combining different layers of abstraction

A method for generating a fault tree of a multi-component system is provided. The multicomponent system includes a logical-functional system layer and a physical system layer as different layers of abstraction. The physical system layer may correspond, for example, to software and/or hardware implementing the functional aspects of the logical-functional system layer. The method first provides a logical-functional fault tree for the logical-functional system layer and a physical fault tree for the physical system layer, the latter having elements corresponding to elements in the logical-functional fault tree. Next, a mixed-layer fault tree is generated by combining aspects of both fault trees in a systematic way. The disclosed is particularly relevant for analyzing safety-critical systems. However, the present concepts are not limited to these applications and may be applied to general use cases where fault tree analysis is applicable.