PhD Theses in Experimental Software Engineering, Band 59
Hrsg.: Fraunhofer IESE
2017, 268 S., num. illus. and tab., Softcover
Nowadays, people are increasingly dependent upon software-controlled systems. In the case of safety-critical systems, it is necessary to ensure their safety via appropriate analysis methods. However, the established methods (fault trees, Markov-models, ...) have some crucial disadvantages when it comes to dynamic failure behavior. To address this problem, this thesis extends the range of analysis technique for state event fault trees (SEFTs) by qualitative ones.