计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
7期
282-285
,共4页
安全性分析%形式化方法%模型检测
安全性分析%形式化方法%模型檢測
안전성분석%형식화방법%모형검측
传统的安全性分析方法用于分析由失效引起的事故能够起到很好的作用,但是目前大多数事故是由于部件间异常的交互引起的,应用传统的分析方法已经力不从心了.因此给出基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法.首先介绍基于STAMP的安全性分析原理及分析步骤,形式化分析工具NuSMV及CTL语言；然后提出应用形式化方法进行基于STAMP的安全性分析的方法；最后,结合温控系统对方法进行了实例验证.
傳統的安全性分析方法用于分析由失效引起的事故能夠起到很好的作用,但是目前大多數事故是由于部件間異常的交互引起的,應用傳統的分析方法已經力不從心瞭.因此給齣基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法.首先介紹基于STAMP的安全性分析原理及分析步驟,形式化分析工具NuSMV及CTL語言；然後提齣應用形式化方法進行基于STAMP的安全性分析的方法；最後,結閤溫控繫統對方法進行瞭實例驗證.
전통적안전성분석방법용우분석유실효인기적사고능구기도흔호적작용,단시목전대다수사고시유우부건간이상적교호인기적,응용전통적분석방법이경력불종심료.인차급출기우STAMP(System-Theoretic Accident Modeling and Process)적형식화안전성분석방법.수선개소기우STAMP적안전성분석원리급분석보취,형식화분석공구NuSMV급CTL어언；연후제출응용형식화방법진행기우STAMP적안전성분석적방법；최후,결합온공계통대방법진행료실례험증.
