[發明專利]一種基于行為描述的AADL可靠性模型生成方法

有效

• 申請號: 201210345740.X
• 申請日: 2012-09-18
• 公開（公告）號: CN102880548A
• 公開（公告）日: 2013-01-16
• 發明（設計）人: 董云為;暢紹楓;張凡;程瑤
• 申請（專利權）人: 西北工業大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 西北工業大學專利中心 61204
• 代理人: 王鮮凱

1.一種基于行為描述的AADL可靠性模型生成方法，其特征在于步驟如下：

步驟1：遍歷系統基于AADL描述的架構模型，對定義了行為說明的構件進行標記；并在與架構模型相同的工程目錄下，構造一個空的錯誤附錄庫；

步驟2：構造一個通用錯誤模型并加入到步驟1構造的錯誤附錄庫中，得到一個僅含通用錯誤模型的附錄庫；

步驟3：針對步驟1中被標記的構件分別生成空的錯誤模型類型error?model?type和空的錯誤模型實現error?model?implementation，并存放到步驟1生成的錯誤附錄庫中；所述錯誤模型類型和錯誤模型實現的命名匹配方式符合AADL錯誤附錄中的要求；

步驟4：將系統內AADL描述的架構模型中、行為模型中定義的狀態作為錯誤狀態全部添加到錯誤模型類型中；若狀態在行為模型中被標記為初始狀態，則在錯誤模型中也將其標記為初始錯誤狀態initial?error?state，其他的直接定義為一般錯誤狀態error?state；

步驟5：將系統的AADL描述的架構模型中、構件行為模型中transitions部分中定義的每一個transition，在構件對應的錯誤模型類型和錯誤模型實現中進行如下操作：

在錯誤模型類型中添加錯誤事件free；

當行為模型中狀態遷移中初始狀態和目的狀態是不同的狀態時，找出錯誤模型類型中經過步驟4已生成的錯誤狀態，并以事件free作為驅動事件，建立錯誤狀態遷移，并添加到錯誤模型實現中；

步驟6：查看構件行為模型中transitions部分中定義的每一個transition轉換條件guard和依附其的操作部分action，若在所有的transition中二者都為空，直接進入步驟7；否則，在錯誤模型類型中添加錯誤狀態failed；然后在構件對應的錯誤模型類型和錯誤模型實現中進行如下操作：

步驟（1）當transition的轉換的條件guard不為空時，根據錯誤分類表提取里面發生的錯誤，并生成錯誤事件，添加到錯誤模型類型中；

步驟（2）當依附于transition的操作action部分不為空時，對其中構件執行的動作語句參照錯誤分類表，提取構件在操作的過程中可能出現的錯誤或故障，生成錯誤事件error?event，添加到錯誤模型類型中；

步驟（3）根據行為模型中該遷移的源狀態，找出對應錯誤模型類型中的錯誤狀態并作為源狀態，目的狀態為failed狀態，以步驟（1）和步驟（2）中生成的錯誤事件為驅動事件，生成錯誤狀態遷移，并添加到構件的錯誤模型實現中；

所述步驟3-6對在步驟1中被標記的構件都要執行一遍：

步驟7：利用osate提供的系統實例化功能，對最外層的系統進行實例化；

步驟8：找到實例化后的系統中連接的最初的源構件和最終的目的構件，在最初的源最初源構件的錯誤模型中添加向外錯誤傳播，在最終的目的構件的錯誤模型中添加接收錯誤傳播；所述向外錯誤傳播和接收錯誤傳播的命名方式遵循AADL約束要求；

若在上述給錯誤模型添加錯誤傳播的過程中，構件不存在錯誤模型，則查看其所在的上層構件是否存在錯誤模型，存在的話，則直接在上層構件的錯誤模型中添加錯誤傳播；如果一直找不到錯誤模型，則將通用錯誤模型作為該構件的錯誤模型，并且向錯誤模型類型中添加命名相匹配的錯誤傳播；

步驟9：以初始錯誤狀態和“failed“分別為源狀態和目的狀態，以錯誤傳播為驅動事件，在錯誤模型實現中，添加錯誤狀態遷移；

步驟10：將原來架構模型里構件實現中定義的行為附錄子庫去掉，并添加錯誤附錄子庫annex?error_model；在附錄子庫中添加Model屬性，將生成的錯誤模型實例化給架構模型中的構件；

所述錯誤分類表為：