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

• 作者: 张超 李小勋
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全性分析 形式化方法 模型检测
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 安全技术
• 页码范围: 282-285
• 分类号: TP302.7
• 字数: 4599字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2012.07.081

摘要

传统的安全性分析方法用于分析由失效引起的事故能够起到很好的作用,但是目前大多数事故是由于部件间异常的交互引起的,应用传统的分析方法已经力不从心了.因此给出基于STAMP(System-Theoretic Accident Modeling and Process)的形式化安全性分析方法.首先介绍基于STAMP的安全性分析原理及分析步骤,形式化分析工具NuSMV及CTL语言；然后提出应用形式化方法进行基于STAMP的安全性分析的方法；最后,结合温控系统对方法进行了实例验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李小勋		1	8	1.0	1.0
2	张超		31	107	7.0	9.0