|
|||||
|
|
| 基于扩展时间Petri网的软件潜在分析 | |
| 引用本文： | 马瑞萍,刘丙杰,贾兴亮.基于扩展时间Petri网的软件潜在分析[J].航天控制,2009,27(4). |
| 作者姓名： | 马瑞萍 刘丙杰 贾兴亮 |
| 作者单位： | 1. 海军装备研究院,北京,100161;第二炮兵工程学院,西安,710025 2. 海军潜艇学院,青岛,266071 3. 海军驻兰州地区军代表室,兰州,730070 |
| 摘 要： | 针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术.首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态.仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题. |
| 关 键 词： | 扩展时间Petri网 软件潜在分析 变迁过滤 |
Software Sneak Analysis Based on Extended Time Petri Nets |
|
| MA Ruiping,LIU Bingjie,JIA Xingliang.Software Sneak Analysis Based on Extended Time Petri Nets[J].Aerospace Control,2009,27(4). | |
| Authors: | MA Ruiping LIU Bingjie JIA Xingliang |
| Institution: | MA Ruiping1,2 LIU Bingjie3 JIA Xingliang41.Naval Academy of Armament,Beijing 100161,China 2.The Second Artillery Engineering Academy,Xi'an 710025,China3.Navy Submarine Academy,Qingdao 266071,China4.Navy Representation Room of Lanzhou,Lanzhou 730070,China |
| Abstract: | To overcome shortcomings of software sneak analysis(SSA),SSA based on time Petri nets is proposed in the paper,in which summarizing of SSA is stated at first.Extended time Petri net(ETPN) is defined.The software sneak can be discovered by comparison designed matrix and reliability state matrix which is defined in the paper.The validity and feasibility of the approach are demonstrated by an example and finally some key problems are discussed. |
| Keywords: | Extended time Petri nets Software sneak analysis Transition filtering |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |