Research on network dependability analysis methods based on stochastic Petri net

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 34, Issue 2, 2006, Pages 322-332

  Lin, Chuang ^a   Wang, Yuan Zhuo ^a,b   Yang, Yang ^b   Qu, Yang ^a  

^a TSINGHUA UNIVERSITY   (China)

^b UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

Author keywords

Dependability; Fault tolerance; Markov; Non Markov; Stochastic Petri net

Indexed keywords

APPLICATIONS; CLASSIFICATION (OF INFORMATION); FAILURE ANALYSIS; MARKOV PROCESSES; PETRI NETS; STOCHASTIC PROGRAMMING;

DEPENDABILITY; FAULT TOLERANCE; NON MARKOV; STOCHASTIC PETRI NET;

COMPUTER NETWORKS;

EID: 33646338486     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (64)

1. Richard E Barlow. Mathematical theory of reliability: A historical perspective[J]. IEEE Trans on Reliability, 1984, 33(1): 16-20.
2. Algirdas A, Jean-Claude Laprie, Brian Randell, Carl Landwehr. Basic concepts and taxonomy of dependable and secure computing[J]. IEEE Transactions on Dependable and Secure Computing, 2004, 1(1): 11-33.
3. A Avizienis, J Laprie, B Randell, Fundamental Concepts of Dependability[R]. LAAS-CNRS, N01145, Apr. 2001.
4. Gene J Schroeder, Marvin J Johnson. Complex availability: The new availability problem[A]. Reliability and Maintainability Symposium, 1990. Proc[C]. 1990.268-274.
5. G Bolch, S Greiner, H de Meer, K S Trivedi. Queueing Networks and Markov Chains[M]. New York: John Wiley and Sons, 1998.
6. Ellison R, Fisher D, Linger R, et al. Survivable network systems-An emerging discipline[R]. Pittsburgh, Software Engineering Institute, Carnegie Mellon University, 1997.
7. Yun Liu, Kishor S Trivedi. A General Framework For Network Survivability Quantification[M]. 3rd Polish-German Teletraffic Symposium, 2004.
8. Manish Malhotra, Kishor S Trivedi. Power-hierarchy of dependability-model types[J]. IEEE Trans on Reliability, 1994, 43(3): 493-501.
9. David M Nicol, William H Sanders, Kishor S Trivedi. model-based evaluation: From dependability to security[J]. IEEE Transactions on Dependable and Secure Computing, 2004, 1(1): 48-65.
10. K S Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications[M]. second ed. New York: John Wiley and Sons, 2001.
11. M L Shooman. Probabilistic Reliability: An Engineering Approach[M]. seconded. Malabar, Fla.: R. E. Krieger Publishing Co., 1990.
12. W S Lee, D L Grosh, F A Tillman, C H Lie. Fault tree analysis, methods, and applications-A review[J]. IEEE Trans on Reliability, 1985, 43(3): 194-203.
13. J K Muppala, M Malhotra, K S Trivedi. Markov Dependability Models of Complex Systems: Analysis Techniques, Reliability and Maintenance of Complex Systems, S. Ozekici, ed., Germany: Springer, 1996.442-486.
14. Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, and Ivan Mura, Dependability Modeling and Evaluation of Multiple-Phased Systems Using DEEM, IEEE TRANSACTIONS ON RELIABILITY, 2004, 53(4): 509-522.
15. LIN Chuang, Marinescu DC. Stochastichigh-level Petri nets and applications[J]. IEEE Transactions on Computers, 1988, 37(7): 815-825.
16. Marsan M A, Conte G, et al. A class of generalized petri nets for the performance evaluation of multi processor system[J]. ACM Trans Computer Syst, 1984, 12(2): 93-122.
17. J B Dugan, V Nicola, R Geist, K Trivedi. Extended stochastic petri nets: Applications and analysis[A]. Proc Conf Performance'84[C]. 1985. 507-519.
18. M A Marsan, G Chiola. On Petri nets with deterministic and exponentially distributed firing times[J]. Advances in Petri Nets, LNCS, vol.266, Springer, 1987: 132-145.
19. Ciardo G, Blakemore A, Chimento P F, Muppala J K, Trivedi K S. Automated generation analysis of Markov reward models using stochastic reward nets. In: Meyer C, Plemmons R J (ed.). Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications, Springer-Verlag, 1993, 48: 145-191.
20. Laprie J-C, Kaaniche M, Kanoun K. Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth, Petri Nets and Performance Models[A]. 1995, Proceedings of the Sixth International Workshop on 3-6 Oct[C]. 1995: 221-230.
21. S Yamada, S Osaki. Software reliability growth modeling: models and assumptions[J]. IEEE Trans on Software Engineering, SE-Il, 1985.1431-1437.
22. Papadopoulos Y, McDermid J A. The potential for a generic approach to certification of safety critical systems in the transportation sector[J]. Reliability Engineering and Systems Safety, 1999, 63(1): 47-66.
23. LIN Chuang, WEI Ya Ya. Stochastic process algebras and stochastic petri nets[J]. Journal of software, 2002, 13(2): 203-213.
24. H Hemanns, J-P Katoen, J Meyer-Kayser, M Siegle. Towards model checking stochastic process algebra[A]. W Grieskamp, T Santen, B Stoddart. 2nd Int Conference on Integrated Formal Methods[C]. Dagstuhl: Springer, 2000, LNCS 1945.420-439.
25. JIANG L T, XUE G Z, YEMG R D, et al. Application of stochastic petri net to system availability analysis[J]. Journal of System Simulation, 2002, 14(6): 796-799.
26. Frostig E, Levik son B. On the availability of R out of N repairable systems[J]. Naval Research Logistics, 2002, 49(5): 483-498.
27. De Smidt-Destombes K S, Van der Heijden M C. On the availability of a k-out-of-N system given limited spares and repair capacity under a condition based maintenance strategy[J]. Reliability Engineering and System Safety, 2004, (83): 287-300.
28. P Buchholz. A Hierarchical View of GCSPNs and Its Impact on Quantitative and Quantitative Analysis[J]. Parallel and Distributed Computing, 1992, 15: 207-224.
29. LIN C. Stochastic Petri Nets and System Performance Evaluation[M]. Beijing: Tsinghua University Press, 2005.1-137.
30. D Chen, D Selvamuthu, D Chen, L Li, R R Some, A P Nikora, K Trivedi. Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System[A]. Proc Int'l Conf Dependable Systems and Networks[C]. 2002. 337-344.
31. R A Sahner, K S Trivedi, A Puliafito. Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package[M]. Kluwer Academic Publishers, 1996.
32. V Mainkar, K Trivedi. Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models[J]. IEEE Trans Software Eng, 1996, 22(9): 640-653.
33. P Buchholz. Exact and ordinary lumpability in finite markov chains[J]. J Applied Probability, 1994, 31: 59-74.
34. P Kemper. Numerical analysis of superposed GSPNs[J]. IEEE Transactions on Software Engineering, 1996, 22: 37-49.
35. P Buchholz. Efficient computation of equivalent and reduced representations for stochastic automata[J]. Int'l J Computer Systems Science and Eng, 2000, 15(2): 93-103.
36. S Derisavi, H Hermanns, W H Sanders. Optimal state-space lumping in markov chains[A]. Information Processing Letters[C]. Sept. 2003, 87(6): 309-315.
37. Lin C, Marinescu D C. Stochastic high level Petri nets and applications Computer Science Department[R]. Purdue University, CSD-TR-613, 1986.
38. Lin C, Marinescu D C. On Stochastic high level petri nets[A]. In: Pro int Workshop on Petri Nets and Performance Models[C]. Madison, Wisconsin, USA, 1987.34-39.
39. Lin C, Marinescu D C. Stochastic high level petri nets and applications[J]. IEEE Trans Compute, 1988, 37(7): 815-825.
40. Zenie A. Coloured stochastic petri nets[A]. In: Proc Int Workshop on Timed Petri Nets[C]. Torino, Italy, 1985. 262-271.
41. Chiola G, Bruno G, Demaria T. Introducing a color formalism into generalized stochastic Petri nets[A]. In: Proc 9th European Workshop on Applications and Theory of Petri Nets[C]. Venezia, Italy, 1988.202-215.
42. Dutheillet C, Haddad S. Regular stochastic Petri nets[A]. In: Proc 10th European Wordshop on Applications and Theory of Petri Nets[C]. 1989.
43. W Henderson, D Lucic, P G Taylor. A net level performance analysis of stochastic petri nets[J]. Journal of Australian Mathematical Soc Ser B, 1989, 31: 176-187.
44. R J Boucherie. A Characterization of independence for competing markov chain with applications to stochastic petri nets[A]. In: Proc 5th International Workshop on Petri Nets and Performance Models[C]. 1993.117-126.
45. G Balbo, S C Bruell, M Sereno. On the relations between BCMP queueing networks and product form solution stochastic petri nets[A]. In Proc of the 10th International Workshop on Petri Nets and Performance Models[C]. 2003.103-113.
46. G Chiola, C Anglano, J Campos, et al. Operational analysis of timed petri nets and application to the computation of performance bounds[A]. In Proc 5th International Workshop on Petri Nets and Performance Models[C]. 1993.128-137.
47. S C Allmaier, M Kowarschik, G Horton. State space construction and steady state solution of GSPNs on a shard2memory multiprocessor[A]. In Proc of the 7th International Workshop on Petri Nets and Performance Models[C]. 1997.112-121.
48. LIN C, LI Y J, LIU X N. Analysis methods and applications of non-Markovian stochastic Petri nets[J]. Journal of system simulation, 2003, 15(s1): 71-75.
49. R German Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool[J]. Performance Evaluation, 2000, 39: 165-188.
50. A Horvath, A Puliafito, M Scarpa, M Telek. Analysis and evaluation of non-markovian stochastic petri nets[A]. In Computer Performance Evaluation, Modeling Techniques and Tools[C]. volume 1786 of LNCS, pages. Springer-Verlag, 2000.171-187.
51. LIN C. Performance Evaluation of Computer Networks and Computer Systems[M]. Beijing: Tsinghua University Press, 2001.223-263.
52. R German. Iterative analysis of Markov regenerative models[J]. Journal of Performance Evaluation, 2001.
53. J B Dugan, K S Trivedi, R M Geist, V F Nicola, Extended stochastic Petri nets: Applications and analysis[A]. Performance[C]. 1984. 507-519.
54. C Lindemann, G Shedler. Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions[J]. Performance Evaluation, 1996, 23: 565-582.
55. R Jones. Analysis of phase-type stochastic Petri nets with discrete and continuous timing. Technical Report NASA/CR-2000-210296[Z]. NASA Langley Research Center, Hampton, VA, USA, 2000.
56. H Choi, V G Kulkarni, K S Trivedi. Markov regenerative stochastic Petri nets[J]. Performance Evaluation, 1994, 20: 337-357.
57. Ivan Mura, Andrea Bondavalli. Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability[J]. IEEE Transactions on Computer, 2001, 50(12): 1337-1352.
58. Bondavalli A, Chiaradonna S, Di Giandomenico F, Mura I. Dependability modeling and evaluation of multiple-phased systems using DEEM. Reliability[J]. IEEE Transactions 2004, 53(4): 509-522.
59. Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura. Dependability modeling and evaluation of multiple-phased systems using DEEM[J]. IEEE Transaction reliability, 2004, 53(4): 509-523.
60. R German, C Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables[J]. Performance Evaluation, 1994, 20: 317-335.
61. R Jones, G Ciardo. On phased delay stochastic Petri nets: Definition and an application[A]. In Proc of the 9th International Workshop on Petri Nets and Performance Models[C]. 2001.165-174.
62. LIU D B, LIN C, LU W M. Product-form approximate solution for no-product-form solution stochastic petri nets[J]. Chinese Journal of Computer, 2001, 24(6): 588-595.
63. M Dumitrescu. Stochastic petri nets architectural modules for power system availability proc[C]. Electronics, Circuits and System, 2002. 2. 745-748.
64. W Willinger, R Govindan, S Jamin, V Panson, S Shenker. Scaling phenomena in the Internet: Critically examining criticality[J]. 2002, PNAS 2002 99 Suppl.1: 2573-2580.