| 基于k(0,1)-TPN的三防控制系统软件安全性分析模型研究 |
| |
| 引用本文： | 王宇龙,高小雅,刘宇坤,杨荫钊,李之博.基于k(0,1)-TPN的三防控制系统软件安全性分析模型研究[J].中北大学学报,2012(6):681-686,698. |
| |
| 作者姓名： | 王宇龙 高小雅 刘宇坤 杨荫钊 李之博 |
| |
| 作者单位： | 中国兵器工业软件工程与评测中心 |
| |
| 基金项目： | 总装“十一五”预研项目(51319070203) |
| |
| 摘 要： | 针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.
|
| 关 键 词： | 坦克装甲车辆 时间Petri网 软件安全性 |
k(0,1)-TPN Model in the Safety Analysis of Three Defense System |
| |
| WANG Yu-long,GAO Xiao-ya,LIU Yu-kun,YANG Yin-zhao,LI Zhi-bo.k(0,1)-TPN Model in the Safety Analysis of Three Defense System[J].Journal of North University of China,2012(6):681-686,698. |
| |
| Authors: | WANG Yu-long GAO Xiao-ya LIU Yu-kun YANG Yin-zhao LI Zhi-bo |
| |
| Affiliation: | (Software Engineering and Testing Center of China North Industries Group Corporation,Beijing 100089,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
