| 基于Petri网的某引信安全系统软件安全性分析 |
| |
| 引用本文： | 王卫民,齐杏林,陈亚旭,段雪峰.基于Petri网的某引信安全系统软件安全性分析[J].军械工程学院学报,2003,15(1):9-14. |
| |
| 作者姓名： | 王卫民 齐杏林 陈亚旭 段雪峰 |
| |
| 作者单位： | 军械工程学院弹药工程系，军械工程学院弹药工程系，军械工程学院弹药工程系，军械工程学院弹药工程系 河北 石家庄 050003，河北 石家庄 050003，河北 石家庄 050003，河北 石家庄 050003 |
| |
| 摘 要： | 介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。
|
| 关 键 词： | Petri网 软件安全性 引信 安全系统 |
| 文章编号： | 1008-2956(2003)01-0009-06 |
| 修稿时间： | 2002年10月8日 |
Analysis of Safety System Software of Some Fuze Based on Petri Net |
| |
| WANG Wei - min,QI Xing - lin,CHEN Ya - xu,DUAN Xue - feng.Analysis of Safety System Software of Some Fuze Based on Petri Net[J].Journal of Ordnance Engineering College,2003,15(1):9-14. |
| |
| Authors: | WANG Wei - min QI Xing - lin CHEN Ya - xu DUAN Xue - feng |
| |
| Abstract: | This paper introduces software safety, and its analyzing technique with Petri nets, analyzes the software design of missile safety system based on Petri nets system model with the converse reachable figsretrospect method and the key state. It also consideres the dynamic time affecting safety when the system circulates and some corresponding instauration measures. The characters of the system software safety analysis with Petri nets are summed up. |
| |
| Keywords: | Petri nets software safety fuze safety system |
| 本文献已被 CNKI 维普 等数据库收录！ |
