[發明專利]一種基于Altarica形式化語言的軟件FMEA分析方法

有效

• 申請號: 201611081851.9
• 申請日: 2016-11-30
• 公開（公告）號: CN106776295B
• 公開（公告）日: 2020-09-22
• 發明（設計）人: 周小波;江國進;白濤;章丹;王曉燕;張亞棟;杜喬瑞;徐先柱;史茹梅
• 申請（專利權）人: 北京廣利核系統工程有限公司;中國廣核集團有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京國電智臻知識產權代理事務所(普通合伙) 11580
• 代理人: 孫小敏

1.一種基于Altarica形式化語言的軟件FMEA分析方法，其特征在于，包括以下步驟：

步驟1：識別待分析軟件數據流并畫出數據流圖；

步驟2：針對待分析軟件建立基本軟件模型；其中，建立所述基本軟件模型包括：①把軟件行為抽象為數據接收和發送；②從時間、空間、行為內涵三個方面對軟件的狀態進行描述；③軟件狀態與軟件行為之間的關系；

步驟3：定義待分析軟件失效，并使用步驟2中建立的基本軟件模型的各個狀態來描述待分析軟件的失效；其中，定義所述待分析軟件失效包括：當數據時間特性為新，空間特性為空時，進行發送操作后，數據行為內涵為無效；當數據時間特性為舊時，進行發送操作時，數據行為內涵為無效；當數據在時間上為新，空間上不為空時，進行接收操作后，數據行為內涵特性為無效；當數據時間特性為新，空間特性為空時，進行接收操作后，數據行為內涵為無效；當數據時間特性為舊，空間特性不為空時，進行接收操作時，數據行為內涵特性為失效；

步驟4：搜索所有滿足待分析軟件的失效定義的狀態傳輸路徑，每條傳輸路徑為一個失效模式；

步驟5：分析各個滿足待分析軟件失效定義的狀態傳輸路徑，并填寫FMEA表格。

2.根據權利要求1所述的分析方法，其特征在于，所述步驟2中建立通用基本軟件模型中步驟③包括：

判斷軟件狀態與軟件行為之間的關系；以通用基本軟件模型為最小顆粒度，根據數據流流向，進行數據賦值。

3.根據權利要求2所述的分析方法，其特征在于，判斷軟件狀態與軟件行為之間的關系，包括以下幾種關系：

i.當數據在時間上為新，空間上不為空時，進行發送操作后，數據時間特性變為舊，空間特性變為空；

ii.當數據時間特性為舊，空間特性為空時，進行接收操作后，數據時間特性為新，空間特性不為空。