電子發燒友網>電子資料下載>電子論文>網絡協議論文>一種AADL故障模型到動態故障樹的轉換方法

一種AADL故障模型到動態故障樹的轉換方法

2755793 2018-01-25 | rar | 0.96 MB | 次下載 | 3積分

資料介紹

　　隨著嵌入式系統的飛速發展，嵌入式系統的結構越來越復雜，規模越來越大，對系統的開發成本、開發周期及可靠性的要求也越來越高。傳統的嵌入式系統開發方法己不能滿足嵌入式系統開發的需要。因此，業界引入了一種新的方法，模型驅動結構方法（Model　Driven Architecture，MDA）。嵌入式系統的開發被提升到模型級。模型成為開發過程中的核心。在系統設計階段對系統架構進行判斷和修改，提高了系統的可靠性，縮短了開發周期，節約了開發成本。針對這樣的需求，美國自動化工程師協會發布了一種架構分析與設計語言（Architecture AnaIVsis and Design Lan-guage，AADL）。AADL能夠詳細地描述復雜的嵌入式系統架構。它不關心構件內部的具體實現，僅僅通過構件與構件間的交互、軟件構件與硬件構件的綁定，對嵌入式系統進行描述與分析。AADL語言雖然為安全實時系統提供了強大的表達能力，但其大部分語義仍然采用自然語言和例子進行解釋。目前，模型轉換是AADL故障模型形式化驗證與分析的主要途徑。例如，將AADL模型轉換到BIP、Petri網、故障樹等，目的是為了重用這些模型上已有的驗證和分析能力。

　　時序故障是一類由底事件發生的順序產生的故障。AADL描述嵌入式系統體系結構時，雖然考慮了事件或進程的結束時間，但是缺乏對事件或進程的時序故障描述。通過對AADL錯誤模型附件的擴展，增加了時序故障的描述。并對系統故障進行建模，通過轉換規則和算法將系統故障模型轉換為時序故障樹，用于分析系統的安全問題。