16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 16 cited
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees
Kai Hoefig, Andreas Joanni, Marc Zeller +5
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for relia…
cs.SE2019
Proof of Compositionality of CFT Correctness
Simon Greiner, Peter Munk, Arne Nordmann
In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we presen…