Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A controlled experiment on component fault trees

: Jung, Jessica; Jedlitschka, Andreas; Höfig, Kai; Domis, Dominik; Hiller, Martin


Bitsch, F.:
Computer safety, reliability, and security. 32nd International Conference, SAFECOMP 2013 : Toulouse, France, September 24-27, 2013; proceedings
Berlin: Springer, 2013 (Lecture Notes in Computer Science 8153)
ISBN: 978-3-642-40792-5 (Print)
ISBN: 3-642-40792-7
ISBN: 978-3-642-40793-2 (Online)
International Conference on Computer Safety, Reliability and Security (SAFECOMP) <32, 2013, Toulouse>
Fraunhofer IESE ()
Fault Tree Analysis (FTA); C2FT; safety analysis; empirical study; experiment; SPES2020; avionics - safety measure; Cassidian

In safety analysis for safety-critical embedded systems, methods such as FMEA and fault trees (FT) are strongly established in practice. However, the current shift towards model-based development has resulted in various new safety analysis methods, such as Component Integrated Fault Trees (CFT). Industry demands to know the benefits of these new methods. To compare CFT to FT, we conducted a controlled experiment in which 18 participants from industry and academia had to apply each method to safety modeling tasks from the avionics domain. Although the analysis of the solutions showed that the use of CFT did not yield a significantly different number of correct or incorrect solutions, the participants subjectively rated the modeling capacities of CFT significantly higher in terms of model consistency, clarity, and maintainability. The results are promising for the potential of CFT as a model-based approach.