论文部分内容阅读
介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施.总结了基于Petri网的系统软件安全性分析的特点.
基于Petri网的某引信安全系统软件安全性分析
【摘 要】
：
介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全
【机 构】
：
军械工程学院弹药工程系
【出 处】
：
军械工程学院学报
【发表日期】
：
2003年1期
其他文献
Optimal Path Planning for a Remote Sensing Unmanned Ground Vehicle in a Hazardous Indoor Environment
Urban search and rescue robots are playing an increasingly important role during disasters and with their ability to search within hazardous and dangerous envir
土壤耕作制是农业生产的基础，是质量效益型农业的重要拉动链。因此，长期以来我省广大农机、农业科技工作者，始终对土壤耕作制进行研究和探索，在“十二五”期间基本形成具有我省特
履带式全喂入水稻联合收割机是一种新兴的高技术联合收割机。随着这种水稻收割机的出现和使用，收割水稻的时间被大大减少了，水稻种植的成本也降低了，农民的经济收入得到了提高。
Networked Control Systems (NCSs) have been implemented in several different industries. The integration with advanced communication networks and computing techn
Nowadays, digital camera based remote controllers are widely used in people’s daily lives. It is known that the edge detection process plays an essential role
Due to the well condition and the un-expected imbalance movement of the pumping unit in use, the energy consumes a lot. The existing balancing equipment cannot
<正> 目前,城市中建筑室内消防给水系统普遍采用临时高压给水系统。根据《高层民用建筑设计防火规范》GB50045—1995(以下简称《高规》)第7.4.7.2款规定的要求:高位消防水箱
An Active-Only Temperature-Insensitive Current-Mode Biquad Filter Based on Differentiator Structures
This article presents an active-only current-mode universal biquad filter performing three standard functions: low-pass, high-pass and band-pass function, which
以新兴物流工业区消防站点布局为研究对象，建立了消防站布局的优化数学模型，利用优化软件求解了该模型，并以天津某新建物流工业区为例，对其消防站点的布局问题进行了优化。计算结
对水系统工程，作者以消防水源给水设施、室内消防给水系统和自动喷水灭火系统三部分为线索，对工程设计和施工中经常出现的问题进行了归纳，文中还分析了出现问题的原因，并帮助读者