【摘要】：采用架構(gòu)分析與設(shè)計語言(AADL)建立嵌入式系統(tǒng)的半形式化模型,實現(xiàn)從AADL模型到靜態(tài)故障樹(Static Fault Tree,SFT)模型的轉(zhuǎn)換,并根據(jù)故障樹定量分析法對系統(tǒng)可靠性進行分析。首先結(jié)合AADL錯誤模型附件建立可靠性模型;然后設(shè)計了從AADL模型到SFT模型的語義映射規(guī)則,并實現(xiàn)了將AADL模型中的基本元素轉(zhuǎn)換為靜態(tài)故障樹中相對應(yīng)的元素;最后結(jié)合飛機車輪剎車系統(tǒng)實例,使用文獻中提出的方法對其進行可靠性分析,從而驗證所提方法的可行性和有效性。
【作者單位】： 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院;軟件新技術(shù)與產(chǎn)業(yè)化協(xié)同創(chuàng)新中心;
【基金】：中央高�；究蒲袠I(yè)務(wù)費專項資金(NS2015092)資助
【分類號】：TP368.1

【相似文獻】

相關(guān)期刊論文 前1條

1 朱敏波,王世萍,韓芳明;計算機輔助故障樹的建立與分析[J];計算機輔助工程;1998年01期

相關(guān)碩士學(xué)位論文 前1條

1 唐橋;狀態(tài)事件故障樹的建模與分析方法研究[D];西安電子科技大學(xué);2015年

，

本文編號：2542469