Abstract
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 new 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.
This research was partially supported by the National Aeronautics and Space Administration under NASA Contract No. NAS1-19480 while the first two authors were in residence at the Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Hampton, VA 23681.
Chapter PDF
References
M. Ajmone-Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, MA, 1986.
M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2(2):93–122, 1984.
G. Balbo, S. C. Bruell, and S. Ghanta. Combining queuing networks and GSPN's for the solution of complex models of system behavior. IEEE Transactions on Computers, 37:1251–1268, 1988.
A. Bobbio and A. Cumani. A Markov approach to wear-out modeling. Microelectronics and Reliability, 23(1):113–119, 1983.
A. Bobbio and A. Cumani. ML estimation of the parameters of a PH distribution in triangular canonical form. Technical Report R.T. 393, Istituto Elettrotecnico Nazionale Galileo Ferraris, Torino, Italy, 1990.
A. Bobbio, A. Cumani, A. Premoli, and O. Saracco. Modeling and identification of non-exponential distributions by homogeneous Markov processes. In Proc. of the Sixth Advances in Reliability Symposium, Apr. 1980.
A. Bobbio and M. Telek. Parameter estimation of phase type distributions. In 20th European Meeting of Statisticians, Bath, UK, Sept. 1992.
A. Bobbio and K. Trivedi. An aggregation technique for the transient analysis of stiff Markov chains. IEEE Transactions on Computers, C-35(9):803–814, Sept. 1986.
W. Bux and U. Herzog. The phase concept: approximation of measured data and performance analysis. In K. Chandy and M. Reiser, editors, Computer Performance, pp. 23–38. North-Holland, Amsterdam, 1977.
K. M. Chandy, U. Herzog, and L. S. Woo. Parametric analysis of queuing networks. IBM Journal of Research and Development, 19:43–49, 1975.
H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. In 16th IFIP W.G. 7.3 Int'l Sym. on Computer Performance Modelling, Measurement and Evaluation (Performance'93), Rome, Italy, Sept. 1993.
H. Choi and K. S. Trivedi. Approximate performance models of polling systems using stochastic Petri nets. In Proc. of IEEE Infocom 92, pp. 2306–2314, Florence Italy, May 1992.
G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications, volume 48. Springer-Verlag, Heidelberg, Germany, 1993.
G. Ciardo and K. Trivedi. A decomposition approach for stochastic reward net models. To appear in Performance Evaluation.
G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. In Proc. of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993.
A. Costes, J. Doucet, C. Landrault, and J. C. Laprie. SURF: A program for dependability evaluation of complex fault-tolerant computing systems. In Proc. 11th Intl. Symposium on Fault-Tolerant Computing, pp. 72–78, 1981.
P. Courtois. Computable bounds for conditional steady-state probabilities in large Markov chain and queueing models. IEEE J. Sel. Areas in Comm., SAC-4(6):926–937, 1986.
D. Cox. A use of complex probabilities in the theory of stochastic processes. Proc. of the Cambridge Philosophical Society, 51:313–319, 1955.
A. Cumani. ESP — A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In Proc. of International Workshop on Timed Petri Nets, pp. 144–151, Torino, Italy, July 1985.
E. de Souza e Silva and H. R. Gail. Performability analysis of computer systems: from model specification to solution. Performance Evaluation, 14:157–196, 1992.
J. Dugan, K. Trivedi, M. Smotherman, and R. Geist. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics, pp. 319–331, May–June 1986.
R. Geist and K. Trivedi. Ultra-high reliability prediction for fault-tolerant computer systems. IEEE Transactions on Computers, C-32(12):1118–1127, Dec. 1983.
A. Goyal, W. Carter, E. de Souza e Silva, S.S, Lavenberg, and K. Trivedi. The system availability estimator. In Proc. of IEEE 16th Fault-Tolerant Computing Symposium, pp. 84–89, July 1986.
B. Haverkort and K. Trivedi. Specification and generation of Markov reward models. Discrete-Event Dynamic Systems: Theory and Applications 3, pp. 219–247, 1993.
R. A. Howard. Dynamic Probabilistic Systems, Vol.II: Semi-Markov and Decision Processes. John Wiley & Sons, New York, 1971.
M. Johnson. Selecting parameters of phase distributions: combining nonlinear programming, heuristics, and Erlang distributions. To appear in ORSA JOC.
M. Johnson and M. Taffe. Matching moments to phase distributions: mixtures of Erlang distribution of common order. Stochastic Models, 5:711–743, 1989.
M. Johnson and M. Taffe. Matching moments to phase distributions: density function shapes. Stochastic Models, 6:283–306, 1990.
H. Kantz and K. Trivedi. Reliability modeling of MARS system: A case study in the use of different tools and techniques. In International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991.
J. Kemeny, J. Snell, and A. Knapp. Denumerable Markov Chains. Springer-Verlag, 1976.
W. Kleinoder. Evaluation of task structures for hierarchical multiprocessor. In D. Potier, editor, Modeling Techniques and Tools for Performance Analysis. North-Holland, 1985.
V. Kulkarni, V. Nicola, R. Smith, and K. Trivedi. Numerical evaluation of performability measures and job completion time in repairable fault-tolerant systems. In Proc. 16th Intl. Symp. on Fault Tolerant Computing, Vienna, Austria, July 1986. IEEE.
K.S. Trivedi and V. G. Kulkarni, “Fluid Stochastic Petri Nets,” Proc. 14th International Conference on Applications and Theory of Petri Nets, Chicago, June 1993.
J. Lambert. Numerical Methods for Ordinary Differential Systems. John Wiley and Sons, 1991.
S. Lavenberg. Computer Performance Modeling Handbook. Academic Press, 1983.
E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik. Quantitative System Performance. Prentice-Hall, Englewood Cliffs, NJ, USA, 1984.
M. Malhotra. A computationally efficient technique for transient analysis of repairable Markovian systems. To appear in Performance Evaluation subject to revision, 1993.
M. Malhotra, J. K. Muppala, and K. S. Trivedi. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Technical Report DUKE-CCSR-92-003, Center for Computer Systems Research, Duke University, 1992.
M. Malhotra and A. Reibman. Selecting and implementing phase approximations for semi-Markov models. To appear in Stochastic Models, 1993.
M. Malhotra and K. Trivedi. Higher-order methods for transient analysis of stiff Markov chains. In Third international conference on Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 1991.
M. Malhotra and K. Trivedi. Dependability modeling using Petri-net based models. Technical Report DUKE-CCSR-92-012, Center for Computer Systems Research, Duke University, 1992.
M. Malhotra and K. S. Trivedi. A methodology for formal expression of hierarchy in model specification and solution. In Proceedings of Fifth Intl. Workshop on Petri Nets and Performance Models, 1993.
M. Malhotra and K. S. Trivedi. Reliability analysis of redundant arrays of inexpensive disks. Journal of Parallel and Distributed Computing, 17:146–151, Jan. 1993.
J. Meyer. On evaluating the performability of degradable computer systems. IEEE Transactions on Computers, C-29:720–731, Aug. 1980.
W. Miranker. Numerical Methods for Stiff Equations and Singular Perturbation Problems. D. Reidel, Dordrecht, Holland, 1981.
D. Mitra, “Stochastic Theory of Fluid Models of Multiple Failure-Susceptible Producers and Consumers Coupled by a Buffer,” Advances in Applied Probability, Vol. 20, pp. 646–676, 1988.
I. Mitrani. Fixed-point approximations for distributed systems. In G. Iazeolla, P. J. Courtois, and A. Hordijk, editors, Mathematical Computer Performance and Reliability, pp. 245–258. North-Holland, 1984.
M. Molloy. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, C-31(9):913–917, Sept. 1982.
R. R. Muntz, E. de Souza e Silva, and A. Goyal. Bounding availability of repairable computer systems. IEEE Transactions on Computers, C-38(12):1714–1723, Dec. 1989.
J. Muppala and K. Trivedi. Numerical transient analysis of finite Markovian queueing systems. In U. Bhat and I. Basawa, editors, Queueing and Related Models, pp. 262–284. Oxford University Press, 1992.
J. Musa, A. Iannino, and K. Okumoto, Software Reliability; Measurement, Prediction, Application, McGraw-Hill, 1987.
M. Neuts. Matrix-Geometric Solutions in Stochastic Models. Johns Hopkins University Press, Baltimore, MD, 1981.
V. Nicola. Lumping in Markov reward processes. In W. Stewart, editor, Numerical Solution of Markov Chains, pp. 663–666. Marcel Dekker Inc., New York, 1991.
A. Reibman and K. Trivedi. Numerical transient analysis of Markov models. Computers and Operations Research, 15(1):19–36, 1988.
R. Sahner and K. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engineering, 14(10):1105–1114, Oct. 1987.
R. Sahner and K. Trivedi. A software tool for learning about stochastic models. IEEE Transactions on Education, 36(1):56–61, Feb. 1993.
W. Sanders and J. Meyer. Reduced base model construction methods for stochastic activity networks. IEEE Selected Areas of Communications, pp. 25–36, Jan. 1991.
L. Schmickler. MEDA — mixed Erlang distributions as phase-type representation of empirical functions. Stochastic Models, 8(1):131–156, Aug. 1992.
M. L. Shooman. Probabilistic Reliability: An Engineering Approach. McGraw-Hill, New York, 1968.
C. Singh, R. Billinton, and S. Lee. The method of stages for non-Markovian models. IEEE Transactions on Reliability, R-26(1):135–137, June 1977.
L. A. Tomek and K. S. Trivedi. Fixed point iteration in availability modeling. In M. D. Cin and W. Hohl, editors, Proc. of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, pp. 229–240, Berlin, Sept. 1991. Springer-Verlag.
K. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood-Cliffs, NJ, 1982.
K. Trivedi, J. Muppala, S. Woolet, and B. Haverkort. Composite performance and dependability analysis. Performance Evaluation, 14:197–215, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Trivedi, K.S., Ciardo, G., Malhotra, M., Sahner, R.A. (1993). Dependability and performability analysis. In: Donatiello, L., Nelson, R. (eds) Performance Evaluation of Computer and Communication Systems. Performance SIGMETRICS 1993 1993. Lecture Notes in Computer Science, vol 729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013869
Download citation
DOI: https://doi.org/10.1007/BFb0013869
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57297-8
Online ISBN: 978-3-540-48044-0
eBook Packages: Springer Book Archive