[发明专利]硬件系统可靠性验证系统

说明书

本发明公开了一种硬件系统可靠性验证系统，包括：构建模块，用于建立AADL可靠性模型；转换模块，用于将所述AADL可靠性模型转换为动态故障树模型；验证模块，用于通过顺序二元决策图系统对所述动态故障树模型进行分析验证。通过上述系统，可以在更高的抽象层次上进行系统级别的设计，有助于缓解系统复杂性，提高软件质量，而且对整个硬件内部和外部交互的可靠性有较大的提高。

技术领域

本发明涉及可靠性验证技术领域，特别涉及一种硬件系统可靠性验证系统。

背景技术

随着国防科技的飞速发展，军事系统的功能日益复杂，规模日益庞大，采用国外产品，会使得软硬件质量不受控，因此可靠性与安全性难以得到保证，系统中某个软件模块的缺陷或故障可能导致整个武器系统失效，造成巨大的经济损失甚至人员伤亡。

但是现有技术中，无法在更高的抽象层次上进行系统级别的设计，对硬件系统进行可靠性验证，因此，对硬件系统进行可靠性验证，构建安全、稳定、高效的硬件系统具有重要意义。

发明内容

本公开实施例提供了一种硬件系统可靠性验证系统。为了对披露的实施例的一些方面有一个基本的理解，下面给出了简单的概括。该概括部分不是泛泛评述，也不是要确定关键/重要组成元素或描绘这些实施例的保护范围。其唯一目的是用简单的形式呈现一些概念，以此作为后面的详细说明的序言。

在一些可选地实施例中，一种硬件系统可靠性验证系统，包括：

构建模块，用于建立AADL可靠性模型；

转换模块，用于将AADL可靠性模型转换为动态故障树模型；

验证模块，用于通过顺序二元决策图系统对动态故障树模型进行分析验证。

进一步地，构建模块，包括：

第一构建单元，用于建立AADL结构模型和故障模型；

确定单元，用于确定AADL组件之间的交互连接表达形式；

第二构建单元，用于基于交互连接表达形式将故障模型添加到AADL结构模型中，形成AADL可靠性模型。

进一步地，确定单元，包括：

用于确定表达形式的属性；

用于确定表达形式的模式；

用于确定表达形式的包。

进一步地，第一构建单元，包括：

用于将硬件系统的功能结构进行抽象，得到故障模型。

进一步地，转换模块，包括：

转换单元，用于根据预设规则将AADL可靠性模型中的组件转换为动态故障树模型中的模块；

故障传播图建立单元，用于以AADL可靠性模型中的组件为单元建立故障传播图；

动态故障树建立单元，用于根据模块和故障传播图建立动态故障树模型。

进一步地，转换单元包括：

用于将AADL可靠性模型中的故障状态转换为动态故障树模型中的顶事件；

用于将AADL可靠性模型中的故障事件转换为动态故障树模型中的底事件；

用于将AADL可靠性模型中的连接关系转换为动态故障树模型中的逻辑门。

进一步地，验证模块，包括：

替换单元，用于将动态故障树模型中的动态门替换为相应的割序列；

排序单元，用于将动态故障树模型中的底事件进行排序，得到底事件排序队列；