范亞瓊,陳海燕
(南京航空航天大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,江蘇 南京 210016)
基于順序邏輯的狀態(tài)事件故障樹定性分析模型
范亞瓊,陳海燕
(南京航空航天大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,江蘇 南京 210016)
針對(duì)現(xiàn)有的狀態(tài)事件故障樹(SEFT)定性分析方法在反映失效系統(tǒng)中構(gòu)件狀態(tài)與事件邏輯順序關(guān)系方面的不足,提出了基于順序邏輯的狀態(tài)事件故障樹定性分析模型。該模型通過建立構(gòu)件與邏輯門的端口映射表,定義邏輯門到布爾邏輯的轉(zhuǎn)換規(guī)則限定狀態(tài)和事件的次序關(guān)系,根據(jù)順序邏輯轉(zhuǎn)換規(guī)則獲得導(dǎo)致系統(tǒng)失效的狀態(tài)事件序列(最小割序集),以解決系統(tǒng)失效應(yīng)滿足的狀態(tài)與事件的邏輯順序關(guān)系問題。為驗(yàn)證所提出模型的有效性和可行性,以火災(zāi)防護(hù)系統(tǒng)為研究對(duì)象進(jìn)行了實(shí)例驗(yàn)證實(shí)驗(yàn)。實(shí)驗(yàn)結(jié)果表明,所提出的模型有效可行,所獲得的最小割序集能夠反映各失效事件和狀態(tài)間的順序邏輯關(guān)系,分析結(jié)果符合客觀實(shí)際,為SEFT的定性分析提供了一種新的技術(shù)途徑和方法借鑒。
順序邏輯;端口映射表;最小割序集;轉(zhuǎn)換規(guī)則;定性分析
狀態(tài)事件故障樹[1](State/Event Fault Tree,SEFT)是基于軟件的構(gòu)件設(shè)計(jì)模型建立的一種表達(dá)系統(tǒng)失效行為的安全性分析模型。與傳統(tǒng)的故障樹[2-4]不同的是,狀態(tài)事件故障樹具有構(gòu)件化和基于狀態(tài)的特性,且嚴(yán)格區(qū)分了狀態(tài)、事件語義,增加了狀態(tài)依賴的表達(dá)。因此,對(duì)狀態(tài)事件故障樹進(jìn)行最小割序集分析不僅要關(guān)注構(gòu)件失效的集合,也要關(guān)注構(gòu)件失效事件和狀態(tài)間的順序關(guān)系,即分析出最小割序集。……