基于Petri网的某引信安全系统软件安全性分析

Analysis of Safety System Software of Some Fuze Based on Petri Net

下载PDF

导出

摘要介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施.总结了基于Petri网的系统软件安全性分析的特点.

作者王卫民齐杏林陈亚旭段雪峰

机构地区军械工程学院弹药工程系

出处《军械工程学院学报》 2003年第1期9-14,共6页 Journal of Ordnance Engineering College

关键词 PETRI网软件安全性引信安全系统

参考文献6

1[2]Leveson N G. Software Safety in Embedded Computer Systems [J]. Communications｀of the ACM, 1991, 34 (2): 34 -36.
2[4]Duston L Hayward. A Practical Application of Petri Nets In The Software Safety Analysis of A Real - Time Military System [R].北京:国防科技情报中心.1987.
3于鑫,宣兆龙.某新型榴弹引信加速寿命试验设计[J].军械工程学院学报,1999,11(3):32-35.
4[6]苏德清.可靠性技术基础[M].北京:中国标准出版社,1994.
5崔忠伟,吕爱民.无线电引信多普勒信号光纤传输系统设计[J].军械工程学院学报,2000,12(2). 被引量：1
6傅文杰.子母弹子弹引信爆炸物处理安全性研究[J].军械工程学院学报,1999,11(1):27-31.

14，(美)威廉斯阿瑟 B.电子滤波器设计手册[M].北京:电子工业出版社，1986
2崔忠伟.The Application of Labview Software to PC based Instrument[J].电子仪器与测量学报,1999,13(增刊):290-296.

军械工程学院学报

2003年第1期

内容加载中请稍等...