基于随机时间petri网的安全性分析方法-计算机科学.pdfVIP

第 43 卷第11 期 计算机科学 Vo 1. 43 No. 11 2016 年 11 月 Computer Science Nov 2016 基于随机时间 Petri 网的安全性分析方法 彭颖1 姚淑珍1 谭火彬2 (北京航空航天大学计算机学院 北京 10019 1) 1 (北京航空航天大学软件学院 北京 100191) 2 摘 要在分析了现有的 Petri 网与安全性结合的方法的缺陷后，提出了一种基于随机时间 Petri 网 (stochastic Time Petri N ets , sTPN)的系统安全性分析方法，利用 sTPN 建立的系统模型不局限于指数分布和确定分布的变迁，也不局 限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及 sTPN 的瞬态分析算法可以得到基于路径的 安全性指标。最后给出核反应堆冷却循环系统的例子，说明了所提方法的可用性和合理性。 关键词 随机时间 Petri 网，安全性分析，瞬态分析 中图法分类号 TP301 文献标识码 A 001 10. 11896/j. issn. 1002-137叉 2016.1 1. 011 Safety Analysis Method ßased on Stochastic Time Petri Nets PENG Ying1 YAO Shu-zhen1 TAN Huo-bin2 (School of Computer Science and Engineering ,Beihang University ,Beijing 100191 ,China) 1 (School of Software ,Beihang University ,Beijing 100191 ,China)2 Abstract After analyzing the shortage of current methods combining safety analysis 时th 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 al gorithm of sTPN. Experimental results are reported to show the usability and reasonability of the method. Keywords Stochastic time Petri nets ,Safety analysis ,T ransient analysis [4J在上述方法的基础上引人 S不变量等式辅助高风险状态 引言 可达性的分析。利用基本 Petri 网进行安全性分析的局限在 安全性(safety)是指系统避免人员伤亡、职业病