Computer Science ›› 2016, Vol. 43 ›› Issue (11): 61-65.doi: 10.11896/j.issn.1002-137X.2016.11.011

Previous Articles     Next Articles

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

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   
No Suggested Reading articles found!