基于PETRI网的引信软件安全性分析实例研究

摘要：

微处理器及其软件已在我国多种新型引信中开始应用,而对其软件可靠性和安全性的研究刚刚起步.本文介绍了基于Petri网的引信软件安全性分析技术,结合某电子时间引信的实例,在系统流程图和程序流程图的基础上建立了引信Petri网模型,运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,发现了其存在的安全隐患,并对其进行了修改设计.

关键词： Petri网 引信软件 软件安全 定时控制器 动态分析法

作者: 王卫民 陈亚旭 齐杏林 范志峰

作者单位: 军械工程学院弹药工程系(河北石家庄)

会议类型: 国内会议

会议名称: 第六届国际可靠性、维修性、安全性会议

会议地点: 西安

会议语种:中文

页码: 369-373

在线出版日期: 2004-08-26（万方平台首次上网日期，不代表论文的发表时间）