STAMP-based Software Safety Verification

被引：0

作者：

Zhang Hong ^{[1
]}

Li Xiaoxun ^{[1
]}

机构：

[1] Beihang Univ, Dept Syst Engn Engn Technol, Beijing 100191, Peoples R China

来源：

PROCEEDINGS OF 2009 INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS | 2009年

关键词：

software safety; safety verification; STAMP; model checking;

D O I：

暂无

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

Traditional safety analysis techniques do a good job of handling accidents caused by failures, but they do a poor job of handling accidents caused by dysfunctional interactions between components. Besides that, traditional techniques are usually applied manually and thus easily affected by the experience of the analysts. This will inevitably leads to the analysis results being not objective, complete and error-free. In this paper we propose a software safety verification technique based on STAMP (Systems-Theoretic Accident Modeling and Process). The principle and procedure of this technique are discussed, and an engine control system is used for case study to illustrate the effectiveness of this technique.

引用

页码：479 / 483

页数：5