AADL Inspector 故障树安全分析模块

故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法，也称为故障树或错误树，是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的，并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的，可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。

为适应AADL建模领域对复杂系统运行安全性的研究应用，Ellidiss发布了AADL Inspector的新功能：故障树安全分析模块。该模块是Ellidss与Arbre-analyste两家机构一起研究并推出的，提出以Open-PSA格式和XFTA计算引擎为核心的故障树安全分析技术，来应对工业项目标准化和可持续性问题。

Open-PSA标准是一种形式化的文本格式，在此次的故障树安全分析技术中主要用以XML为基础，促进复杂内容的自动交换（树、文本）等异构信息，实现模型的完整性与操作性。XFTA是一种故障树计算引擎，它允许基于OpenPSA格式的模型进行运行安全分析，为一种极好的最小幅度剪切计算算法。XFTA支持从模型的最小范围开始，实施所有常规概率评估：

当前故障树安全分析工作的主要问题体现在转换效率和信息分享上。AADL Inspector的新模块很好的解决了这两个问题，它支持多种模式导入的方式，能够使用户快速且自由地切换到当前的工作模式中，并可多屏幕安排工作空间；底层的分析器继承了XFTA运算引擎，从而可以从计算的准备阶段就提升软件的自动执行效率。

该模块首先对导入的模型进行故障树分析，并进行了直观且完整的故障树展示，尤其对节点之间的连接关系和故障发生率显示清晰。同时拥有非常丰富的图表展示，包括融合多种信息的综合报告、最低削减集合概率计算以及灵敏度计算结果。

用户可以通过选择顶层模块来显示以其为顶的整个树形结构。以下图红色模块为例，加粗模块为其参与的树形节点。节点包括事件和门。

通过门的属性菜单能够调节其上层门和相关参数。

事件属性编辑窗口通过单击上下文菜单的自定义选项出现。它也可以通过选择事件和按键盘输入或双击事件来实现。然后可以修改母门、描述、名称、概率定律类型，并提供相关的指定参数。

通过Batch Analyses窗口可以选择分析对象，相应的任务事件和top门及条件，将不同的结果生成Html形式的研究报告。

该模块同时提供了两个先进的功能，以改进模型的编辑和管理经验：
一是高级场景管理，能够自动改变树结构和事件参数。
Doc :http://www.arbre-analyste.fr/doc/doku.php/les_scenarios；
二是提供丰富的应用程序接口(API)，用于用户开发互补模块。
Modules : http://www.arbre-analyste.fr/doc/doku.php/addons；
Doc API : http://www.arbre-analyste.fr/doc/doku.php/api。

-版权所有，抄袭必究-

更多信息：http://www.softtest.cn/