A modeling framework to evaluate performability parameters in gracefully degrading systems

A systematic approach to modeling and assessing gracefully degrading systems, exploiting the formalism offered by Petri nets, is provided. The procedure followed is based on the definition of some fundamental modules, the composition of which allows a complete model of the system to be obtained. The model can then be solved by computer simulation or analytically by means of a class of Petri nets to obtain interesting performability parameters either at steady state or when the system is time-varying. A number of real cases are examined and the results obtained are described. >

[1]  San-qi Li,et al.  A Study of Slot Reuse in Dual Bus Multiple Access Networks , 1991, IEEE J. Sel. Areas Commun..

[2]  Thomas F. Arnold,et al.  The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System , 1973, IEEE Transactions on Computers.

[3]  Edmundo de Souza e Silva,et al.  Performability Analysis of Computer Systems: From Model Spacification to Solution , 1992, Perform. Evaluation.

[4]  M. D. Beaudry,et al.  Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.

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

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

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

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

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

[10]  Nicholas F. Maxemchuk,et al.  Improving the fairness of distributed-queue-dual-bus networks , 1990, Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration.

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

[12]  J. Doob.  Stochastic processes , 1953 .

[13]  Krishna R. Pattipati,et al.  On the instantaneous availability and performability evaluation of fault-tolerant computer systems , 1989, Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics.

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

[15]  Hany H. Ammar,et al.  Performability analysis of parallel and distributed algorithms , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

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

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

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

[20]  Giovanni Chiola,et al.  An introduction to generalized stochastic Petri nets , 1991 .

[21]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.