计算机应用与软件2012，Vol.29Issue(7)：282-285,4.
基于STAMP的形式化安全性分析
STAMP-BASED FORMAL SAFETY ANALYSIS
李小勋 1张超1
作者信息
- 1. 中国航空综合技术研究所 北京100028
- 折叠
摘要
Abstract
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.关键词
安全性分析/形式化方法/模型检测Key words
Safety analysis/Formal method/Model checking分类
信息技术与安全科学引用本文复制引用
李小勋,张超..基于STAMP的形式化安全性分析[J].计算机应用与软件,2012,29(7):282-285,4.
