Dependability and performability analysis using stochastic Petri nets

作者: Kishor S. Trivedi , Gianfranco Ciardo , Manish Malhotra , Sachin Garg

DOI: 10.1007/BFB0033543

关键词:

摘要: Performance, reliability, availability, and safety etc. are the key factors that need to be modeled understand dynamic behavior of a system. Reliability, related measures collectively known as dependability. In classical modeling, performance system has been independent faulty (or fault-tolerant) many computer communication systems, however, even if some components fail, continues function correctly, although at degraded level. Analysis Fault-tolerant systems from pure viewpoint tends optimistic since it ignores failure-repair, gracefully degrading On other hand, dependability analysis too conservative considerations not accounted for [40]. To capture such behavior, composite measure called performability defined by Beaudry [2] Meyer [27, 28]. The approach is very useful in modeling graceful degradation Pure reliability analyses then special cases analysis.

参考文章(44)
Lorrie A. Tomek, Kishor S. Trivedi, Fixed Point Iteration in Availability Modeling Proceedings of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment. pp. 229- 240 ,(1991) , 10.1007/978-3-642-76930-6_20
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi, Transient Analysis of Deterministic and Stochastic Petri Nets applications and theory of petri nets. pp. 166- 185 ,(1993) , 10.1007/3-540-56863-8_46
Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities international workshop on petri nets and performance models. pp. 44- 53 ,(1987)
Kishor S. Trivedi, Vidyadhar G. Kulkarni, FSPNs: Fluid Stochastic Petri Nets applications and theory of petri nets. pp. 24- 31 ,(1993) , 10.1007/3-540-56863-8_38
Kishor S. Trivedi, Manish Malhotra, Reliability and Performability Techniques and Tools: A Survey MMB. pp. 27- 48 ,(1993) , 10.1007/978-3-642-78495-8_3
Kishor S. Trivedi, Varsha Mainkar, Hoon Choi, Sensitivity Analysis of Deterministic and Stochastic Petri Nets modeling analysis and simulation on computer and telecommunication systems. pp. 271- 276 ,(1993)
Gianfranco Ciardo, Alex Blakemore, Philip F. Chimento, Jogesh K. Muppala, Kishor S. Trivedi, Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets IMA. ,vol. 48, pp. 145- 191 ,(1993) , 10.1007/978-1-4613-8351-2_11