AADL Inspector 故障树安全分析模块
故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法，也称为故障树或错误树，是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的，并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的，可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。 为适应AADL建模领域对复杂系统运行安全性的研究应用，Ellidiss发布了AADL Inspector的新功能：故障树安全分析模块。该模块是Ellidss与Arbre-analyste两家机构一起研究并推出的，提出以Open-PSA格式和XFTA计算引擎为核心的故障树安全分析技术，来应对工业项目标准化和可持续性问题。 Open-PSA标准是一种形式化的文本格式，在此次的故障树安全分析技术中主要用以XML为基础，促进复杂内容的自动交换（树、文本）等异构信息，实现模型的完整性与操作性。XFTA是一种故障树计算引擎，它允许基于OpenPSA格式的模型进行运行安全分析，为一种极好的最小幅度剪切计算算法。XFTA支持从模型的最小范围开始，实施所有常规概率评估： 当前故障树安全分析工作的主要问题体现在转换效率和信息分享上。AADL Inspector的新模块很好的解决了这两个问题，它支持多种模式导入的方式