[發明專利]一種基于smartIflow的AADL模型的安全性分析方法

在審

• 申請號: 202010062226.X
• 申請日: 2020-01-19
• 公開（公告）號: CN111274699A
• 公開（公告）日: 2020-06-12
• 發明（設計）人: 原倉周;何航宇
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F30/20
• 分類號: G06F30/20
• 代理公司: 北京理工大學專利中心 11120
• 代理人: 李愛英;付雷杰

1.一種基于smartIflow的AADL模型的安全性分析方法，其特征在于，所述方法包括：

S1：根據系統需求和設計文檔，采用AADL建立所述系統的架構模型、錯誤模型和行為模型；其中，將所述AADL架構模型、錯誤模型和行為模型組合在一起，得到帶有系統構件錯誤信息和行為信息的AADL安全性模型；

S2：組合所述系統中構件的錯誤模型和行為模型為所述構件模型，表示構件發生故障時構件行為的變化；

S3：將所述構件模型轉換為smartIflow模型，用以分析系統的安全性；

S4：根據系統需求和設計文檔，描述所述系統需要滿足的安全性屬性，將所述smartIflow模型和安全性屬性描述輸入到smartIflow安全性分析平臺，驗證所述系統的安全性屬性，得到所述系統的安全性分析結果。

2.根據權利要求1所述的安全性分析方法，其特征在于，所述組合所述系統中構件的錯誤模型和行為模型為構件模型，組合方法包括：

組合所述錯誤模型的錯誤狀態和行為模型中的狀態；

關聯所述錯誤模型中的錯誤事件或傳入錯誤與所述行為模型中的狀態轉換行為條件；

根據所述錯誤事件和所述傳入錯誤觸發的所述錯誤模型的狀態轉換，將所述錯誤模型的狀態轉換表示所述行為模型中的狀態轉換，將所述錯誤模型中的傳出錯誤表示為所述行為模型中的狀態轉換時的動作；

在所述構件模型中保留所述錯誤模型的錯誤事件屬性描述。

3.根據權利要求1所述的安全性分析方法，其特征在于，所述將所述構件模型轉換為smartIflow模型，包括：

將所述AADL安全性模型的每個系統構件轉換為smartIflow中的類，將所述每個系統構件的數據子構件轉換為smartIflow中的類的變量variable，其他類型子構件轉換為smartIflow類中的Components部分，將所述AADL架構模型的每個系統構件的端口表示為smartIflow中的類中的端口Ports；

將所述構件模型中的狀態和變量轉換為smartIflow中的類的變量variable；

將所述AADL架構模型的每個系統構件之間的連接關系轉換為smartIflow中的行為behavior；

將所述錯誤模型的錯誤事件轉換為smartIflow類中的事件events；

將所述構件模型中的正常狀態之間的轉換表示為smartIflow中的轉換Transitions；

將所述構件模型中的錯誤狀態之間的轉換表示為smartIflow中的事件觸發條件EventHandler。

4.根據權利要求2所述的安全性分析方法，其特征在于，所述組合所述錯誤模型的錯誤狀態和行為模型中的狀態，包括：

將所述錯誤模型中的表示構件行為正常的狀態與所述行為模型中的狀態相映射；

將所述錯誤模型中的構件錯誤狀態添加到所述行為模型中。

5.根據權利要求2所述的安全性分析方法，其特征在于，所述關聯所述錯誤模型中的錯誤事件或傳入錯誤與所述行為模型中的狀態轉換行為條件，包括：

若所述錯誤事件或傳入錯誤與行為模型中的狀態轉換觸發器相關，將所述錯誤事件或傳入錯誤表示為所述行為模型中的狀態轉換觸發器，顯式對應行為模型中的行為，表示所述行為模型中從正常狀態到新添加的錯誤狀態的轉換條件；

若所述錯誤事件或傳入錯誤與行為模型中的狀態轉換觸發器無關或相關不明顯，將所述錯誤事件作為所述行為模型中從正常狀態到新添加的錯誤狀態的轉換條件，不顯式對應行為模型中的行為。