| 基于随机时间Petri网的安全性分析方法 |
| |
| 引用本文： | 彭颖,姚淑珍,谭火彬. 基于随机时间Petri网的安全性分析方法[J]. 计算机科学, 2016, 43(11): 61-65, 76 |
| |
| 作者姓名： | 彭颖 姚淑珍 谭火彬 |
| |
| 作者单位： | 北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,北京航空航天大学软件学院 北京100191 |
| |
| 基金项目： | 本文受航空科学基金项目(2013ZC51023)资助 |
| |
| 摘 要： | 在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。
|
| 关 键 词： | 随机时间Petri网 安全性分析 瞬态分析 |
| 收稿时间： | 2015-07-18 |
| 修稿时间： | 2016-01-11 |
Safety Analysis Method Based on Stochastic Time Petri Nets |
| |
| PENG Ying,YAO Shu-zhen and TAN Huo-bin. Safety Analysis Method Based on Stochastic Time Petri Nets[J]. Computer Science, 2016, 43(11): 61-65, 76 |
| |
| Authors: | PENG Ying YAO Shu-zhen TAN Huo-bin |
| |
| Affiliation: | School of Computer Science and Engineering,Beihang University,Beijing 100191,China,School of Computer Science and Engineering,Beihang University,Beijing 100191,China and School of Software,Beihang University,Beijing 100191,China |
| |
| Abstract: | After analyzing the shortage of current methods combining safety analysis with Petri net,a system safety analysis method based on stochastic time Petri nets(sTPN) was proposed.System model built by sTPN is neither limi-ted to exponential and deterministic transitions nor to enabling restrictions for generally distributed transitions.Safety metrics based on path can be obtained through modified transient stochastic state classes graph and transient analysis algorithm of sTPN.Experimental results are reported to show the usability and reasonability of the method. |
| |
| Keywords: | Stochastic time Petri nets Safety analysis Transient analysis |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
