基于STAMP的形式化安全性分析

摘要

Traditional safety analysis methods do a good job wben handling accidents caused by failure, However at present most accidents are caused by dysfunctional interactions among components, so that applying traditional analysis methods only do a poor job. Therefore the paper presents a STAMP( System-Theoretic Accident Modeling and Process)-based formal safety analysis method. At first the paper introduces STAMP-based safety analysis principles and analysis steps. It also introduces a formal analysis tool, NuSMV, and the corresponding language,CTL(Computation Tree Logic). Then it suggests a method to carry out STAMP-based safety analysis by applying a formal method. Finally by combining a temperature control system the method has undergone a case lest.%传统的安全性分析方法用于分析由失效引起的事故能够起到很好的作用,但是目前大多数事故是由于部件间异常的交互引起的,应用传统的分析方法已经力不从心了.因此给出基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法.首先介绍基于STAMP的安全性分析原理及分析步骤,形式化分析工具NuSMV及CTL语言；然后提出应用形式化方法进行基于STAMP的安全性分析的方法；最后,结合温控系统对方法进行了实例验证.