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.
Michael Roth
Fraunhofer IESE software engineering State Event Fault Tree (SEFT) fault tree reliability analysis Software certification risk analysis Informatiker Automatisierungsingenieur safety critical system Fault Tree Analysis (FTA) Informatiker Automatisierungsingenieure