發(fā)布時(shí)間：2021-11-21 02:34

　　伴隨嵌入式系統(tǒng)在航空、航天、核工業(yè)等安全關(guān)鍵領(lǐng)域被廣泛應(yīng)用,其規(guī)模和復(fù)雜度在不斷增加,如何保證安全關(guān)鍵嵌入式系統(tǒng)的可靠性和安全性已經(jīng)成為當(dāng)前學(xué)術(shù)界和工業(yè)界的研究重點(diǎn)。一方面,嵌入式系統(tǒng)研發(fā)周期中大部分錯(cuò)誤主要集中產(chǎn)生于系統(tǒng)設(shè)計(jì)階段,而由于系統(tǒng)設(shè)計(jì)和系統(tǒng)分析相互分離,后期進(jìn)行系統(tǒng)分析時(shí),修正每個(gè)錯(cuò)誤所要花費(fèi)的代價(jià)是系統(tǒng)早期設(shè)計(jì)階段修正錯(cuò)誤代價(jià)的幾倍甚至幾十倍。另一方面,動(dòng)態(tài)故障樹(shù)作為一種有效的且被廣泛應(yīng)用的系統(tǒng)可靠性和安全性分析模型,其構(gòu)建方式通�；诜治龉こ處熓謩�(dòng)構(gòu)建,大大降低了模型的可靠性。隨著系統(tǒng)規(guī)模的不斷增加,手動(dòng)構(gòu)建動(dòng)態(tài)故障樹(shù)變得愈發(fā)困難,且基于馬爾可夫鏈的動(dòng)態(tài)故障樹(shù)定量分析方法由于缺乏有效工具的支撐,存在計(jì)算過(guò)程復(fù)雜且容易出現(xiàn)人為錯(cuò)誤、耗費(fèi)大量人力物力和計(jì)算結(jié)果不精確等缺點(diǎn)。針對(duì)以上問(wèn)題,本文提出一種基于系統(tǒng)設(shè)計(jì)模型SysML的動(dòng)態(tài)故障樹(shù)自動(dòng)構(gòu)建方法,將系統(tǒng)設(shè)計(jì)與系統(tǒng)分析相結(jié)合,在系統(tǒng)設(shè)計(jì)的同時(shí)進(jìn)行可靠性分析;并結(jié)合概率模型檢測(cè)方法,提出一種基于概率模型檢測(cè)工具PRISM的動(dòng)態(tài)故障樹(shù)定量分析方法,能夠高效精確的對(duì)動(dòng)態(tài)故障樹(shù)進(jìn)行定量分析。論文的主要研究?jī)?nèi)容如下:（1）提出一種基... 

【文章來(lái)源】：南京航空航天大學(xué)江蘇省 211工程院校

【文章頁(yè)數(shù)】：81 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

嵌入式系統(tǒng)研發(fā)周期錯(cuò)誤引入、錯(cuò)誤發(fā)現(xiàn)以及錯(cuò)誤修正代價(jià)分布圖

ofile 擴(kuò)展機(jī)制的構(gòu)造型加新的元素，所以它造型的定義，該構(gòu)造來(lái)擴(kuò)展語(yǔ)義滿足新的加新的語(yǔ)義信息來(lái)滿 Profile 擴(kuò)展機(jī)制的構(gòu)的構(gòu)造型擴(kuò)展，通過(guò)聯(lián)關(guān)系，通過(guò) Profile來(lái) SysML 模型的基礎(chǔ)擴(kuò)展使用構(gòu)造型擴(kuò)展語(yǔ)義

圖 3. 3 基于 Profile 擴(kuò)展機(jī)制的構(gòu)造型擴(kuò)展于 Profile 擴(kuò)展機(jī)制的構(gòu)造型擴(kuò)展，通過(guò)定義構(gòu)造型B 模塊之間的關(guān)聯(lián)關(guān)系，通過(guò) Profile 機(jī)制對(duì)其進(jìn)型，在不改變?cè)瓉?lái) SysML 模型的基礎(chǔ)上添加了新的故障描述語(yǔ)義擴(kuò)展

【參考文獻(xiàn)】：
期刊論文
[1]基于故障樹(shù)的飛機(jī)結(jié)冰探測(cè)系統(tǒng)安全性分析[J]. 王小輝,車程,瑚洋,華銘.  航空工程進(jìn)展. 2018(02)
[2]一種工具支撐的動(dòng)態(tài)故障樹(shù)定量分析方法[J]. 司佳,沈國(guó)華,黃志球,王梓,潘誠(chéng).  小型微型計(jì)算機(jī)系統(tǒng). 2017(09)
[3]一種AADL故障模型到動(dòng)態(tài)故障樹(shù)的轉(zhuǎn)換方法[J]. 張曉策,燕雪峰,周勇.  計(jì)算機(jī)技術(shù)與發(fā)展. 2017(11)
[4]基于SysML模塊定義圖的集成測(cè)試序列生成方法[J]. 鄭春,舒堅(jiān),牛文生,楊豐玉,黃勤濤.  計(jì)算機(jī)工程與設(shè)計(jì). 2016(08)
[5]嵌入式機(jī)載軟件安全性分析標(biāo)準(zhǔn)、方法及工具研究綜述[J]. 黃志球,徐丙鳳,闞雙龍,胡軍,陳哲.  軟件學(xué)報(bào). 2014(02)
[6]概率計(jì)算樹(shù)邏輯的限界模型檢測(cè)[J]. 周從華,劉志鋒,王昌達(dá).  軟件學(xué)報(bào). 2012(07)
[7]不完全共因失效系統(tǒng)動(dòng)態(tài)故障樹(shù)模型分析方法[J]. 王家序,周青華,肖科,秦毅,黃彥彥.  系統(tǒng)工程與電子技術(shù). 2012(05)
[8]服務(wù)組合中基于DTMC的可靠性和性能分析[J]. 曹科強(qiáng),顧慶,任穎新,陳道蓄.  計(jì)算機(jī)科學(xué). 2009(10)
[9]基于馬爾可夫鏈的動(dòng)態(tài)故障樹(shù)分析方法[J]. 朱正福,李長(zhǎng)福,何恩山,楊春華.  兵工學(xué)報(bào). 2008(09)

博士論文
[1]基于自主感知的列車完整性檢測(cè)方法研究[D]. 李四輝.北京交通大學(xué) 2017
[2]構(gòu)件化嵌入式軟件安全性分析方法研究[D]. 徐丙鳳.南京航空航天大學(xué) 2014
[3]復(fù)雜系統(tǒng)動(dòng)態(tài)故障樹(shù)分析的新方法及其應(yīng)用研究[D]. 李彥鋒.電子科技大學(xué) 2013

碩士論文
[1]基于概率模型檢測(cè)的動(dòng)態(tài)故障樹(shù)定量分析方法研究[D]. 司佳.南京航空航天大學(xué) 2017
[2]動(dòng)態(tài)故障樹(shù)分析方法及其實(shí)現(xiàn)[D]. 高順川.國(guó)防科學(xué)技術(shù)大學(xué) 2005
[3]動(dòng)態(tài)故障樹(shù)分析方法研究[D]. 季會(huì)媛.國(guó)防科學(xué)技術(shù)大學(xué) 2002



本文編號(hào)：3508591