Graphical Modeling of System Failure Behavior and Its Translating into Altarica
Graphical Modeling of System Failure Behavior and Its Translating into Altarica
复制标题
DOI：
10.1016/j.proeng.2014.09.114
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Xiaoxun Li;Shaojun Li
中科院分区：
文献类型：
--
作者：
Xiaoxun Li;Shaojun Li
形式化模型可以准确地反映系统的设计，并可用于实现自动验证和验证，但在对系统失效行为进行建模时，存在两个主要问题：第一，直接使用Altarica语言(即Altarica数据流)建模工作量巨大。其次，Altarica代码描述的模型缺乏可视化，审查者在视觉上不方便验证Altarica模型的正确性以及Altarica代码与实际设计之间的不一致。为了解决这些问题，本文提出了一种描述系统故障行为的图形化建模方法。同时，为了得到可用于自动安全分析的Altarica模型，本文还介绍了从图形失效行为模型到Altarica模型的转换方法。
Formal models could accurately reflect design of systems and can be used to implement automatic verification and validation, however, two main problems exit when modeling the system failure behavior: firstly, it's a huge job to model directly using the Altarica language (i.e. Altarica Data-Flow). Secondly, models described in Altarica codes lack visualization, and it's visually inconvenient for reviewers to verify the correctness of Altarica models and the inconsistency between the Altarica codes and the real design. To solve these problems, a graphical modeling method is proposed to describe the system failure behavior in this paper. Meanwhile, in order to obtain Altarica models that could be used to take automatic safety analysis, the translation method from graphical failure behavior models to Altarica models is also recommended in this paper.