本文選題：狀態(tài)事件故障樹　切入點：交互馬爾可夫鏈　出處：《軟件學(xué)報》2015年02期

【摘要】：狀態(tài)事件故障樹是一種適合于描述構(gòu)件化嵌入式系統(tǒng)失效因果鏈的建模技術(shù),其頂層事件描述失效發(fā)生的結(jié)果.對頂層事件發(fā)生的平均時間進行分析,是獲得系統(tǒng)平均失效時間參數(shù)的一種有效方法,可為系統(tǒng)的安全性評估提供支持.由于狀態(tài)事件故障樹缺乏嚴(yán)格語義,使得必須先對其進行形式化描述才能進行定量分析.為此,提出了一種基于交互馬爾可夫鏈的狀態(tài)事件故障樹時間特性分析方法.首先,精化交互馬爾可夫鏈的交互動作,建立接口交互馬爾可夫鏈模型,并基于該模型對狀態(tài)事件故障樹的構(gòu)件和邏輯門進行形式語義描述;其次,通過并行組合構(gòu)件與邏輯門的形式語義模型,得到整個狀態(tài)事件故障樹的形式語義模型,并在該過程中使用弱互模擬對狀態(tài)空間進行約簡;然后,基于狀態(tài)事件故障樹的形式語義給出頂層事件發(fā)生的平均時間計算方法;最后,給出飛機著陸雷達控制系統(tǒng)和噴淋防火系統(tǒng)的狀態(tài)事件故障樹時間特性分析的實例研究.為構(gòu)件化系統(tǒng)失效時間特性的分析提供了一種新方法.
[Abstract]:State event fault tree is a modeling technique suitable for describing failure causality chain of component-based embedded system. The top level event describes the result of failure.The analysis of the average time of the top level event is an effective method to obtain the average failure time parameters of the system, which can provide support for the security evaluation of the system.Due to the lack of strict semantics of state event fault tree, it is necessary to describe it formally before quantitative analysis can be carried out.In this paper, a method for analyzing the time characteristics of state event fault tree based on interactive Markov chain is proposed.Firstly, the interactive action of interactive Markov chain is refined, and the interface interactive Markov chain model is established. Based on the model, the components and logic gates of the state event fault tree are described in formal semantics.The formal semantic model of the whole state event fault tree is obtained by combining the formal semantic model of component and logic gate in parallel, and the state space is reduced by weak mutual simulation in this process.Based on the formal semantics of the state event fault tree, the calculation method of the average time of the top level event is given. Finally, the analysis of the time characteristic of the state event fault tree of the aircraft landing radar control system and the sprinkler fire prevention system is given.A new method is provided for the analysis of failure time characteristics of component systems.
【作者單位】： 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院;計算機軟件新技術(shù)國家重點實驗室(南京大學(xué));南京航空航天大學(xué)航天學(xué)院;
【基金】：國家自然科學(xué)基金(61272083,61170043) 回國留學(xué)人員科研啟動基金(SEM 2012) 中央高�；究蒲袠I(yè)務(wù)費專項資金(CXZZ11_0218,NS2012129) 江蘇省普通高校研究生科研創(chuàng)新計劃(CXZZ11_0218)
【分類號】：TP311.5;V328

【共引文獻】

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

1 徐丙鳳;黃志球;胡軍;魏歐;肖芳雄;;一種狀態(tài)事件故障樹的定量分析方法[J];電子學(xué)報;2013年08期

2 董帥;趙亞男;;高速公路網(wǎng)傳感設(shè)備狀態(tài)評價研究[J];城市道橋與防洪;2013年12期

3 彭成;楊路明;滿君豐;;網(wǎng)絡(luò)化軟件異常行為傳播研究[J];電子學(xué)報;2013年10期

4 游亞陸;孟Ze;孫志軍;李培興;;基于PLC的褲襪自動包裝機實時故障檢測與處理[J];包裝工程;2014年01期

5 孫敏;侯為萍;;基于故障樹的全自動濕法清洗設(shè)備故障診斷[J];電子工業(yè)專用設(shè)備;2014年07期

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

1 祝義;嵌入式軟件需求規(guī)約到軟件體系結(jié)構(gòu)模型的轉(zhuǎn)換研究[D];南京航空航天大學(xué);2011年

2 劉林源;Web服務(wù)組合隱私分析與驗證研究[D];南京航空航天大學(xué);2011年

3 陳中育;基于場景的系統(tǒng)行為建模和組合研究[D];上海大學(xué);2011年

4 趙也非;動態(tài)UML子圖的形式語義研究[D];華東師范大學(xué);2010年

5 劉虎興;面向服務(wù)的鐵路調(diào)度系統(tǒng)集成及復(fù)雜業(yè)務(wù)處理研究[D];北京交通大學(xué);2010年

6 張濤;復(fù)雜信息系統(tǒng)模型的形式化驗證方法研究[D];哈爾濱工程大學(xué);2012年

7 覃慶努;復(fù)雜系統(tǒng)可靠性建模、分析和綜合評價方法研究[D];北京交通大學(xué);2013年

8 楊雅君;動態(tài)圖數(shù)據(jù)挖掘與查詢算法的研究[D];哈爾濱工業(yè)大學(xué);2013年

9 李彥鋒;復(fù)雜系統(tǒng)動態(tài)故障樹分析的新方法及其應(yīng)用研究[D];電子科技大學(xué);2013年

10 劉憲國;自由特征及對象族特征造型研究[D];哈爾濱理工大學(xué);2011年

【二級參考文獻】

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

1 林惠民,張文輝;模型檢測:理論、方法與應(yīng)用[J];電子學(xué)報;2002年S1期

【相似文獻】

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

1 劉志海;魯青;李桂莉;;基于故障樹的故障診斷專家系統(tǒng)的研究[J];礦山機械;2006年05期

2 宋維;胡文軍;;故障樹求解中前處理技術(shù)的算法[J];原子能科學(xué)技術(shù);2010年03期

3 劉萍,吳宜燦;適用于Living PSA的故障樹求解方法[J];核動力工程;2003年06期

4 李宏利;;轉(zhuǎn)爐噴濺事故解析[J];安全;2007年05期

5 黃江濤;王家海;文劍飛;趙淑玉;;基于故障樹的數(shù)控機床故障診斷算法設(shè)計的研究[J];機床與液壓;2014年06期

6 楊曾芳;呂希勝;;基于故障樹的數(shù)控機床故障診斷系統(tǒng)[J];科技創(chuàng)新導(dǎo)報;2012年18期

7 張志堅;油品突沸故障樹分析[J];石油化工安全技術(shù);2004年01期

8 朱海宏;徐中偉;梅萌;祝玉軍;;基于貝葉斯網(wǎng)絡(luò)的高鐵系統(tǒng)概率安全評估方法研究[J];計算機應(yīng)用與軟件;2011年03期

9 孫鐵,王正,劉錄,吳剛;加氫蠟油泵供量不足原因分析[J];石油化工高等學(xué)校學(xué)報;1997年01期

10 姬向鋒;趙新建;;30000kN油壓機液壓系統(tǒng)故障診斷[J];機床與液壓;2008年10期

相關(guān)會議論文 前2條

1 孫永全;任和;陳曦;蘇茂根;劉劍;;基于Monte-Carlo模擬的飛機交流發(fā)電系統(tǒng)故障樹分析[A];技術(shù)融合創(chuàng)新·可靠服務(wù)企業(yè)·安全產(chǎn)品制勝——2013年全國機械行業(yè)可靠性技術(shù)學(xué)術(shù)交流會暨第四屆可靠性工程分會第五次全體委員大會論文集[C];2013年

2 宋維;任麗霞;胡文軍;錢鴻濤;喬雪冬;盧銀娟;;NFRisk故障樹計算程序的對比計算與分析[A];第十二屆反應(yīng)堆數(shù)值計算與粒子輸運學(xué)術(shù)會議論文集[C];2008年

，

本文編號：1716237