FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results

Abstract

Dependability-critical systems (e.g., space systems) need to be engineered according to dependability standards (e.g. ECSS standards), which require the application of various dependability analyses, including Fault Tree Analysis (FTA). Due to the complex nature of such systems, conducting FTA may turn out to be time-consuming and error prone. Thus, automation is highly desirable. In this paper, we build on top of our previous work and we propose FLA2FT, a tool-supported Fault Tree (FT) generation from ConcertoFLA results. More specifically, we integrate FTA in a well-established existing system modeling and analysis methodology to generate FT automatically using model transformations. To illustrate the usage of FLA2FT, we apply it to the space domain and automate the generation of ECSS-compliant FTs for an Attitude Control System (ACS). Finally, we draw our conclusions and sketch future work.