[發明專利]硬件系統可靠性驗證方法

在審

• 申請號: 202010010995.5
• 申請日: 2020-01-06
• 公開（公告）號: CN111209176A
• 公開（公告）日: 2020-05-29
• 發明（設計）人: 黃滟鴻;丁驊;史建琦;劉靜;曹桂濤
• 申請（專利權）人: 華東師范大學;上海豐蕾信息科技有限公司
• 主分類號: G06F11/34
• 分類號: G06F11/34
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 付婧

1.一種硬件系統可靠性驗證方法，其特征在于，包括：

建立AADL可靠性模型；

將所述AADL可靠性模型轉換為動態故障樹模型；

通過順序二元決策圖方法對所述動態故障樹模型進行分析驗證。

2.根據權利要求1所述的方法，其特征在于，所述建立AADL可靠性模型，包括：

建立AADL結構模型和故障模型；

確定AADL組件之間的交互連接表達形式；

基于所述交互連接表達形式將所述故障模型添加到所述AADL結構模型中，形成所述AADL可靠性模型。

3.根據權利要求2所述的方法，其特征在于，所述確定AADL組件之間的交互連接表達形式，包括：

確定表達形式的屬性；

確定表達形式的模式；

確定表達形式的包。

4.根據權利要求2所述的方法，其特征在于，建立所述故障模型，包括：

將硬件系統的功能結構進行抽象，得到所述故障模型。

5.根據權利要求1所述的方法，其特征在于，所述將所述AADL可靠性模型轉換為動態故障樹模型，包括：

根據預設規則將所述AADL可靠性模型中的組件轉換為所述動態故障樹模型中的模塊；

以所述AADL可靠性模型中的組件為單元建立故障傳播圖；

根據所述模塊和所述故障傳播圖建立所述動態故障樹模型。

6.根據權利要求5所述的方法，其特征在于，所述預設規則包括：

將所述AADL可靠性模型中的故障狀態轉換為所述動態故障樹模型中的頂事件；

將所述AADL可靠性模型中的故障事件轉換為所述動態故障樹模型中的底事件；

將所述AADL可靠性模型中的連接關系轉換為所述動態故障樹模型中的邏輯門。

7.根據權利要求1所述的方法，其特征在于，所述通過順序二元決策圖方法對所述動態故障樹模型進行分析驗證，包括：

將所述動態故障樹模型中的動態門替換為相應的割序列；

將所述動態故障樹模型中的底事件進行排序，得到底事件排序隊列；

將替換后的動態故障樹模型和所述底事件排序隊列輸入順序二元決策圖生成算法中，得到順序二元決策圖；

計算所述順序二元決策圖中的不交化割集，得到驗證結果。