UML Model to Fault Tree Model Transformation for Dependability Analysis

This thesis proposes a model transformation to automatically generate Fault Tree models from UML models annotated with dependability annotations. Fault tree analysis is a top down deductive failure analysis model using both qualitative and quantitative analysis of undesired events of a system. It is used in safety and reliability engineering. The main purpose of this work is to use a specialized model transformation language to transform UML Sequence Diagrams, along with UseCase Diagrams and Composite Structure Diagrams (extended with MARTE/DAM stereotypes) into Fault Tree Models. The trans- formation language used in this study is ATL (ATL Transformation Language). The transformation covers both hardware software, as well as their allocation within the system.