Qualitative reliability analysis of software-controlled systems using state/event fault trees

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.