基于时间Petri网的舰空导弹发射控制软件安全性分析

摘要：

文中借助时间Petri网出色的图形表达能力和对动态行为的描述,在Tina工具辅助下完成了对舰空导弹发射控制软件建模和安全性分析,分析了高风险状态的可达性,考虑到软件时效对安全性的影响,提出了一些改进建议以避免高危状态的出现.

关键词：导弹、安全性分析、时间Petri网

所属期刊栏目：40

分类号：TP391(计算技术、计算机技术)

资助基金：海军技术基础项目资助

在线出版日期：2012-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：84-86