Study on Generation of Fault Trees from Altarica Models
Study on Generation of Fault Trees from Altarica Models
复制标题
DOI：
10.1016/j.proeng.2014.09.070
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Shaojun Li;Xiaoxun Li
中科院分区：
文献类型：
--
作者：
Shaojun Li;Xiaoxun Li
随着现代系统规模和复杂性的不断增加，传统的安全分析方法如FTA、FMEA似乎使用起来不方便。基于形式模型的自动安全分析已经变得流行。本文以Altarica数据流语言为研究对象，详细说明了如何从Altarica组件模型和系统模型中提取故障逻辑关系来生成故障树（FT），并通过实例验证证明了其有效性。本文提出的故障树生成方法将为基于Altarica的自动化安全分析工具的开发提供基础。
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.