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

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

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

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

【部分圖文】：

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

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

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

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

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

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



本文編號：3508591