| 基于STAMP的舰载作战系统软件安全研究 |
| |
| 引用本文： | 李娟,汪厚祥,林海涛.基于STAMP的舰载作战系统软件安全研究[J].舰船科学技术,2010,32(9). |
| |
| 作者姓名： | 李娟 汪厚祥 林海涛 |
| |
| 作者单位： | 海军工程大学,电子工程学院,湖北武汉430033 |
| |
| 摘 要： | 为有效保障系统安全性,应用系统理论事故建模和过程,以安全控制为核心,针对舰载作战系统软件研制过程,总结了软件安全相关活动的层次控制结构和过程控制结构。在此基础上,进一步分析了软件开发和运行各环节的安全约束,可能的设计缺陷和智力模型缺陷;并以实例说明基于STAMP的软件风险分析的过程。系统安全定义、控制缺陷识别和设计约束创建,可以通过系统设计消除或控制风险。本研究对于开发满足系统安全需求的舰载作战系统软件具有积极的指导意义。
|
| 关 键 词： | 系统理论事故建模和过程 软件安全 舰载作战系统 |
Study on STAMP-based software safety for ship combat system |
| |
| LI Juan,WANG Hou-xiang,LIN Hai-tao.Study on STAMP-based software safety for ship combat system[J].Ship Science and Technology,2010,32(9). |
| |
| Authors: | LI Juan WANG Hou-xiang LIN Hai-tao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
