基于順序邏輯的狀態(tài)事件故障樹定性分析模型

范亞瓊，陳海燕

(南京航空航天大學(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ī)則；定性分析

0 引 言

狀態(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)系，即分析出最小割序集。……