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

Safety Analysis of Ship-to-air Missile Launch Control Software Based on Time Petri Nets

作　　者：何皎[1,2] 汪厚祥[1] 聂凯[1] 

机构地区：[1]海军工程大学电子工程学院,武汉430033 [2]解放军第三二二医院,大同037006

出　　处：《计算机与数字工程》2012年第8期84-86,共3页Computer & Digital Engineering

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

摘　　要：文中借助时间Petri网出色的图形表达能力和对动态行为的描述,在Tina工具辅助下完成了对舰空导弹发射控制软件建模和安全性分析,分析了高风险状态的可达性,考虑到软件时效对安全性的影响,提出了一些改进建议以避免高危状态的出现。The time Petri net model of the ship-to-air missile launch control software is constructed and the safety is analyzed with the assist of Tina toolbox,to determine the reachability of hazard statements,consider about the sequence of occurrence of software behaviors,some methods are proposed to improvement the software and avoid the hazard statements.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]