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

权利要求书

1.一种硬件系统可靠性验证系统，其特征在于，包括：

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

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

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

2.根据权利要求1所述的系统，其特征在于，所述构建模块，包括：

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

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

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

3.根据权利要求2所述的系统，其特征在于，所述确定单元，包括：

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

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

用于确定表达形式的包。

4.根据权利要求2所述的系统，其特征在于，所述第一构建单元，包括：

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

5.根据权利要求1所述的系统，其特征在于，所述转换模块，包括：

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

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

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

6.根据权利要求5所述的系统，其特征在于，所述转换单元包括：

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

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

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

7.根据权利要求1所述的系统，其特征在于，所述验证模块，包括：

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

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

顺序二元决策图生成单元，用于将替换后的动态故障树模型和所述底事件排序队列输入顺序二元决策图生成算法中，得到顺序二元决策图；

验证单元，用于计算所述顺序二元决策图中的不交化割集，得到验证结果。