Study on Generation of Fault Trees from Altarica Models

With the increasing scale and complexity of modern systems, traditional safety analysis methods such as FTA, FMEA seem inconvenient to use. Automated safety analysis based on formal models has become popular. In this paper, we took the Altarica data-flow language as the research object, and specified how to extract failure logic relations from Altarica component models and system models to generate fault trees (FTs), and proved its validity through instance verification. Fault tree generation method proposed in this paper would provide a basis for the development of automated safety analysis tools based on Altarica.