一種AADL故障模型到動(dòng)態(tài)故障樹(shù)的轉(zhuǎn)換方法

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

　　時(shí)序故障是一類(lèi)由底事件發(fā)生的順序產(chǎn)生的故障。AADL描述嵌入式系統(tǒng)體系結(jié)構(gòu)時(shí)，雖然考慮了事件或進(jìn)程的結(jié)束時(shí)間，但是缺乏對(duì)事件或進(jìn)程的時(shí)序故障描述。通過(guò)對(duì)AADL錯(cuò)誤模型附件的擴(kuò)展，增加了時(shí)序故障的描述。并對(duì)系統(tǒng)故障進(jìn)行建模，通過(guò)轉(zhuǎn)換規(guī)則和算法將系統(tǒng)故障模型轉(zhuǎn)換為時(shí)序故障樹(shù)，用于分析系統(tǒng)的安全問(wèn)題。