FLA2FT: Automatic generation of fault tree from ConcertoFLA results

Z Haider, B Gallina, EZ Moreno - 2018 3rd International …, 2018 - ieeexplore.ieee.org
Z Haider, B Gallina, EZ Moreno
2018 3rd International Conference on System Reliability and Safety …, 2018ieeexplore.ieee.org
Dependability-critical systems (eg, space systems) need to be engineered according to
dependability standards (eg 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 …
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results