Model-based Automated Safety Analysis Method for Safety-critical System

In safety-critical systems, the repercussions of system failures can be dire, encompassing significant losses in terms of human lives, property damage, and environmental impact. As systems grow in complexity, the burden of conducting safety analyses escalates as well. To streamline the system development process and alleviate this workload, automated safety analysis methods are indispensable. In this paper, we introduce an innovative automated safety analysis technique that hinges on the iterative utilisation of Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) - termed the FMEA and FTA iterative analysis (FMEA-FTAia). Central to FMEA-FTAia is the integration of the system model with the system failure model, establishing a cohesive linkage to the fault tree model for unified change management. While FMEA delves into an exhaustive examination of component failure modes, FTA pinpoints vulnerabilities within the system. By integrating FMEA and FTA, a comprehensive safety analysis framework is formed. Additionally, in this article we propose a novel fault tree generation methodology. Furthermore, we discuss a model-based tool - FMEA-FTAia tool - designed to support the implementation of FMEA-FTAia and facilitate efficient safety analysis processes. And we designed the Analysis Architecture Metamodel (SAAM) to support FMEA-FTAia tool.