改進的最小割集生成算法與聯鎖系統模型的安全性測試

摘要：為保證鐵路聯鎖模型的安全性，在故障分析法的基礎上提出一種新的用Petri網來建立故障樹的方法，動態地描述鐵路聯鎖系統的安全性需求，并根據Petri網安全需求模型的可達標志圖，提出一種能自動生成最小割集的算法。根據算法生成的最小割集，設計了一個聯鎖安全檢測器，用于檢測和控制聯鎖系統模型處于安全狀態。最后用CPN工具對所建立的聯鎖系統模型進行仿真，仿真結果表明聯鎖安全檢測器能夠保證模型的安全性。 關鍵詞：聯鎖系統；故障樹分析；最小割集；Petri網；聯鎖安全檢測器；安全測試 中圖分類號：TP206.3 文獻標志碼：A 文章編號：1001－3695(2009)08－3039－05