ICASE Report No . 93-85 ( 0 ) ii ICASE U DEPENDABILITY AND PERFORMABILITY ANALYSIS

In this tutorial, we discuss several practical issues regarding specification and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMs) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that reward-based models could lead to more concise model specification and solution of a variety of ew measures. With respect to the solution of dependability and performability models, we identify three practical issues: largeness, stiffness, and non-exponentiality, and we discuss a variety of approaches to deal with them, including some of the latest research efforts. Accesion For NTIS CRA&l DTIC TAB Unannounced 0 Justification By ....... Distribution I Availability Codes Avail and I or Dist Special 0 .1 1 _

[1]  Victor F. Nicola.  Lumping in Markov Reward Processes , 2021 .

[2]  Kishor S. Trivedi,et al.  THE SYSTEM AVAILABILITY ESTIMATOR , 1996 .

[3]  Gianfranco Ciardo,et al.  A characterization of the stochastic process underlying a stochastic Petri net , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[4]  Kishor S. Trivedi,et al.  Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.

[5]  Kishor S. Trivedi,et al.  Reliability modeling of the MARS system: a case study in the use of different tools and techniques , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[6]  Richard R. Muntz,et al.  Bounding availability of repairable computer systems , 1989, SIGMETRICS '89.

[7]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[8]  Kishor S. Trivedi,et al.  Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems , 1983, IEEE Transactions on Computers.

[9]  R. Billinton,et al.  The Method of Stages for Non-Markov Models , 1977, IEEE Transactions on Reliability.