计算机与数字工程2012，Vol.40Issue(8)：84-86,3.
基于时间Petri网的舰空导弹发射控制软件安全性分析
Safety Analysis of Ship-to-air Missile Launch Control Software Based on Time Petri Nets
摘要
Abstract
The time Petri net model of the ship-to-air missile launrh 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网Key words
missile/safety analysis/time Petri net分类
信息技术与安全科学引用本文复制引用
何皎,汪厚祥,聂凯..基于时间Petri网的舰空导弹发射控制软件安全性分析[J].计算机与数字工程,2012,40(8):84-86,3.基金项目
海军技术基础项目资助. （）
