Study on Generation of Fault Trees from Altarica Models

Abstract

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.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 17 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.