@article {MouaffoJambotiTaibi2013,
	title = {Empirical Evaluation of State Event Fault Tree and Fault Tree combined with Markov Chains for the Safety Analysis of Dynamic Embedded Systems},
	year = {2013},
	pages = {36},
	institution = {Fachbereich Informatik},
	type = {Technical Report},
	abstract = {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 model 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.},
	author = {Adrien Mouaffo and Kavyashree Jamboti and Davide Taibi}
}