發(fā)布時(shí)間：2019-09-27 03:15

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

【相似文獻(xiàn)】

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

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

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

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

，

本文編號(hào)：2542469