计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 61-65.doi: 10.11896/j.issn.1002-137X.2016.11.011
• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇 下一篇
彭颖,姚淑珍,谭火彬
PENG Ying, YAO Shu-zhen and TAN Huo-bin
摘要： 在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。
| [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! |
|
||
首页