Composite Performance and Dependability Analysis

Composite performance and dependability analysis is gaining importance in the design of complex, fault-tolerant systems. Markov reward models are most commonly used for this purpose. In this paper, an introduction to Markov reward models including solution techniques and application examples is presented. Extensions of Markov reward models to semi-Markov reward models are also mentioned. A brief discussion of how task completion time models and models of queues with breakdowns and repairs relate to Markov reward models is also given.

[1]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[2]  Kishor S. Trivedi,et al.  Numerical transient analysis of markov models , 1988, Comput. Oper. Res..

[3]  Daniel P. Siewiorek,et al.  A Performance-Reliability Model for Computing Systems, , 1980 .

[4]  Edmundo de Souza e Silva,et al.  Calculating availability and performability measures of repairable computer systems using randomization , 1989, JACM.

[5]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[6]  Chita R. Das,et al.  Bandwidth availability of multiple-bus multiprocessors , 1985, IEEE Transactions on Computers.

[7]  Giuseppe Iazeolla,et al.  Performability evaluation of multicomponent fault-tolerant systems , 1988 .

[8]  Kishor S. Trivedi,et al.  Transient analysis of cumulative measures of markov model behavior , 1989 .

[9]  Raymond Mariez,et al.  Performability Analysis Us ing Semi-Markov Reward Processes , 1990 .

[10]  Kishor S. Trivedi,et al.  Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets , 1991 .

[11]  Philip Heidelberger,et al.  Analysis of Performability for Stochastic Models of Fault-Tolerant Systems , 1986, IEEE Transactions on Computers.

[12]  Kishor S. Trivedi,et al.  Availability and Reliability Modeling for Computer Systems , 1990, Adv. Comput..

[13]  Kishor S. Trivedi,et al.  Probabilistic modeling of computer system availability , 1987 .

[14]  Ragnar Huslende,et al.  A combined evaluation of performance and reliability for degradable systems , 1981, SIGMETRICS '81.

[15]  Kishor S. Trivedi,et al.  Real-time systems performance in the presence of failures , 1991, Computer.

[16]  Andrew L. Reibman,et al.  Modeling the Effect of Reliability on Performance , 1990, SIGMETRICS.

[17]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[18]  W. C. Carter,et al.  Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.

[19]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[20]  Kishor S. Trivedi,et al.  NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS. , 1990 .

[21]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[22]  Kishor S. Trivedi,et al.  Generation techniques for Markov reward models , 1992 .

[23]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[24]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[25]  Lorenzo Donatiello,et al.  Analysis of a composite performance reliability measure for fault-tolerant systems , 1987, JACM.

[26]  G. V. Kulkarni,et al.  Effects of Checkpointing and Queueing on Program Performance , 1987 .

[27]  L. T. Wu,et al.  Operational models for the evaluation of degradable computing systems , 1982, SIGMETRICS '82.

[28]  Kishor S. Trivedi,et al.  Should I Add a Processor ? , .

[29]  Kishor S. Trivedi,et al.  Sensitivity analysis of reliability and performability measures for multiprocessor systems , 1988, SIGMETRICS '88.

[30]  Kishor S. Trivedi,et al.  System performance in a failure prone environment , 1988 .

[31]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[32]  Terry Williams,et al.  Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .

[33]  B. Avi-Itzhak,et al.  A Many-Server Queue with Service Interruptions , 1968, Oper. Res..

[34]  Peter Kubat Reliability Analysis for Integrated Networks with Application to Burst Switching , 1986, IEEE Trans. Commun..

[35]  Vincenzo Grassi,et al.  Performability Evaluation of Fault-Tolerant Satellite Systems , 1987, IEEE Trans. Commun..

[36]  Kishor S. Trivedi,et al.  Queueing Analysis of Fault-Tolerant Computer Systems , 1986, IEEE Transactions on Software Engineering.

[37]  William H. Sanders,et al.  METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks , 1986, FJCC.

[38]  Winfried K. Grassmann Markov modelling , 1983, WSC '83.

[39]  Kishor S. Trivedi,et al.  Markov and Markov reward model transient analysis: An overview of numerical approaches , 1989 .

[40]  Kishor S. Trivedi,et al.  Performability Analysis: Measures, an Algorithm, and a Case Study , 1988, IEEE Trans. Computers.

[41]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

[42]  Andrzej Duda,et al.  The Effects of Checkpointing on Program Execution Time , 1983, Inf. Process. Lett..

[43]  Asser N. Tantawi,et al.  Evaluation of Performability for Degradable Computer Systems , 1987, IEEE Transactions on Computers.

[44]  Krishna R. Pattipati,et al.  A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems , 1993, IEEE Trans. Computers.

[45]  John F. Meyer,et al.  Closed-Form Solutions of Performability , 1982, IEEE Transactions on Computers.

[46]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.

[47]  G. V. Kulkarni,et al.  The Completion Time of a Job on Multi-Mode Systems , 1985 .