本發(fā)明涉及一種基于無關(guān)性覆蓋模型的動(dòng)態(tài)故障樹可靠性分析方法，包括如下步驟：S1、利用基于時(shí)序結(jié)構(gòu)函數(shù)的代數(shù)框架對動(dòng)態(tài)故障樹進(jìn)行解析，從而得到動(dòng)態(tài)故障樹的基于覆蓋失效事件的代數(shù)結(jié)構(gòu)函數(shù)；S2、針對代數(shù)結(jié)構(gòu)函數(shù)，利用改進(jìn)后的最小無關(guān)觸發(fā)的計(jì)算方法得出每個(gè)變量的最小無關(guān)觸發(fā)；S3、根據(jù)步驟S2中的每個(gè)變量的最小無關(guān)觸發(fā)，獲取動(dòng)態(tài)故障樹基本事件關(guān)于未覆蓋失效的限制表達(dá)式；S4、根據(jù)步驟S2中的代數(shù)結(jié)構(gòu)函數(shù)和步驟S3中的未覆蓋失效的表達(dá)式，獲取基于代數(shù)結(jié)構(gòu)函數(shù)的系統(tǒng)無關(guān)性覆蓋模型的表達(dá)式。本發(fā)明擴(kuò)展了無關(guān)性模型在動(dòng)態(tài)系統(tǒng)中的應(yīng)用，適用于任意失效時(shí)間分布的系統(tǒng)和靜態(tài)故障樹，具有良好的普適性。