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

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