本發明公開了一種針對工控系統防危性的驗證方法。防危性由風險來量化,風險被定義為:風險=失效概率*事故代價。一個工控系統要建立防危機制,那么就必須有用于失效概率、事故代價級別和風險級別的標準。我們參照工業標準,制定了工控系統的防危級別。本發明公開的防危性驗證方法,首先要確定其防危性指標,采用(pa,c)表示軟件的防危性指標;然后確定工控系統的關鍵運行,利用防危性分析對可能導致災難性事故的危險進行分析識別,再利用故障樹分析得到安全關鍵運行,采用重要性取樣原理增加關鍵運行的概率;根據防危性指標可以得出驗證所需的測試用例量;最后針對每個關鍵運行設計測試用例。
聲明:
“針對工業控制系統的防危性驗證方案” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)