计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 61-65, 76.doi: 10.11896/j.issn.1002-137X.2016.11.011

• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇    下一篇

基于随机时间Petri网的安全性分析方法

彭颖,姚淑珍,谭火彬   

  1. 北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,北京航空航天大学软件学院 北京100191
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受航空科学基金项目(2013ZC51023)资助

Safety Analysis Method Based on Stochastic Time Petri Nets

PENG Ying, YAO Shu-zhen and TAN Huo-bin   

  • Online:2018-12-01 Published:2018-12-01

摘要: 在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。

关键词: 随机时间Petri网,安全性分析,瞬态分析

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.

Key words: Stochastic time Petri nets,Safety analysis,Transient analysis

[1] MIL-STD-882E.System safety[S].Arlington:Department of Defence,2012
[2] Storey N R.Safety critical computer systems [M].Addison-Wesley Longman Publishing Co.,Inc.,1996
[3] Leveson N G,Stolzy J L.Safety analysis using Petri nets[J].IEEE Transactions on Software Engineering,1987,13(3):386-397
[4] Sun Y,Zhang H.A software safety analysis method based on S-invariant of Petri Net[C]∥2011 9th International Conference on Reliability,Maintainability and Safety(ICRMS).IEEE,2011:487-492
[5] Peng Z.The safety analysis of flight landing based on Time Petri Net[C]∥2012 Proceedings-Annual Reliability and Maintaina-bility Symposium(RAMS).IEEE,2012:1-5
[6] Luo Peng-cheng.A study on the modeling and analysis technique of system safety analysis based on petri nets [D].Changsha:National University of Defense Technology,2001(in Chinese) 罗鹏程.基于 Petri 网的系统安全性建模与分析技术研究 [D].长沙:国防科技大学,2001
[7] Cho S M,Hong H S,Cha S D.Safety analysis using coloured Petri nets[C]∥Asia-Pacific Software Engineering Conference,1996.IEEE,1996:176-183
[8] Vicario E.Static analysis and dynamic steering of time-dependent systems[J].IEEE Transactions on Software Engineering,2001,27(8):728-748
[9] Berthomieu B,Diaz M.Modeling and verification of time depen-dent systems using time Petri nets[J].IEEE Transactions on Software Engineering,1991,17(3):259-273
[10] Vicario E,Sassoli L,Carnevali L.Using stochastic state classes in quantitative evaluation of dense-time reactive systems[J].IEEE Transactions on Software Engineering,2009,35(5):703-719
[11] Horváth A,Paolieri M,Ridi L,et al.Transient analysis of non-Markovian models using stochastic state classes[J].Perfor-mance Evaluation,2012,69(7):315-335
[12] Aziz A,Sanwal K,Singhal V,et al.Model-checking continuous-time Markov chains[J].ACM Transactions on Computational Logic(TOCL),2000,1(1):162-170
[13] Carnevali L,Ridi L,Vicario E.Sirio:A framework for simulation and symbolic state space analysis of non-Markovian models[C]∥2011 Eighth International Conference on Quantitative Evaluation of Systems(QEST).IEEE,2011:153-154
[14] Tomek L,Mainkar V,Geist R M,et al.Reliability modeling of life-critical,real-time systems[J].Proceedings of the IEEE,1994,82(1):108-121

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .