基于有限狀態機的安全性仿真技術

王 蓓 趙廷弟 焦 健

(北京航空航天大學 可靠性與系統工程學院,北京 100191)

基于有限狀態機的安全性仿真技術

王 蓓 趙廷弟 焦 健

(北京航空航天大學 可靠性與系統工程學院,北京 100191)

為了研究系統中事故的動態變化機理,探索事故發展過程中的運動行為,制定正確的應急控制措施,提出了基于有限狀態機理論的安全性建模仿真方法.結合 Simulink/Stateflow工具開發了面向事故機理與應急過程的建模仿真平臺,實現了系統的機理模型、安全狀態控制模型以及應急操作模型的有效融合.該平臺能實現對人-機-環境綜合系統進行動態仿真,為明確事故的動態變化過程和制定應急控制措施提供依據.通過對某艦船艙室事故過程的仿真實例,驗證了該方法的有效性和合理性.

安全性;仿真;有限狀態機;Simulink;Stateflow

事故過程機理分析在系統安全性分析工作中有著重要地位,是進行安全性研究工作的基礎.系統如何從安全狀態演化到事故狀態的運動特性是事故過程機理研究中的根本問題,是制定事故應急預案的基礎.

上世紀 20年代以來,人們就致力于事故機理的研究,從 M.Greenwood和 H.Woods提出的基于統計的事故頻發傾向論,H.W.Heinrich的工業安全原理,到 60年代 Gibson和 Haddon的能量轉移論,以及 Benner等人的擾動理論等[1-2],為事故理論研究提供了一定的依據.但他們大多是從理論層面靜態地分析事故的成因,而安全性仿真技術為事故過程的動態性研究提供了新的途徑.

安全性仿真的機理是基于系統……