Adrien Mouaffo, Kavyashree Jamboti, Davide Taibi

• Most innovation in the automotive industry is driven by embedded systems. They make usage of dynamic adaption to environmental changes or component/subsystem failures for remaining safe. Following this evolution, fault tree analysis techniques have been extended with concept for dynamic adaptation but resulting techniques like state event fault tree analysis, are not widely used in practice. In this report we present the results of a controlled experiment that analyze these two techniques (State Events Fault Trees and Faul trees combined with markov chains) with regard to their applicability and efficiency in modeling dynamic behavior of dynamic embedded systems. The experiment was conducted with students of the TU Kaiserslautern to modeli different safety aspects of an ambient assisted living system. The main results of the experiment show that SEFTs where more easy and effective to use.