Abstract
Iterative numerical methods are an important ingredient for the solution of continuous time Markov dependability models of fault-tolerant systems. In this paper we make a numerical comparison of several splitting-based iterative methods. We consider the computation of steady-state reward rate on rewarded models. This measure requires the solution of a singular linear system. We consider two classes of models. The first class includes failure/repair models. The second class is more general and includes the modeling of periodic preventive test of spare components to reduce the probability of latent failures in inactive components. The periodic preventive test is approximated by an Erlang distribution with enough number of stages. We show that for each class of model there is a splitting-based method which is significantly more efficient than the other methods.
This work has been supported by the Comisión Interministerial de Ciencia y Tecnología (CICYT) under the research grant TIC95-0707-C02-02.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. P. Barker and R. J. Plemmons, “Convergent Iterations for Computing Stationary Distributions of Markov Chains”, SIAM J. Alg. Disc. Math., vol. 7, no. 3, July 1986, pp. 390–398.
C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau, J. E. Doucet, K. Kanoun, J. C. Laprie, S. Metge. J. Moreira de Souza, D. Powell and P. Spiesser, “SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems,” Proc. 23rd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, 1993, pp. 668–673.
G. Ciardo, J. K. Muppala and K. S. Trivedi, “SPNP: Stochastic Petri Net Package”, Proc. 3rd IEEE Int. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, December 1989, pp. 142–150.
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. Plemmons, editors, Linear Algebra, Markov Chains and Queuing Models, IMA Volumes in Mathematics and its Applications, Springer-Verlag 1983, pp. 145–191.
J. Couvillon, R. Freire, R. Johnson, W. O. II, A. Qureshi, M. Rai, W. Sanders, and J. Tvedt, “Performability modeling with UltraSAN”, IEEE Software, September 1981, pp. 69–80.
R. W. Freund and M. Hochbruck, “On the Use of Two QMR Algorithms for Solving Singular Systems and Applications in Markov Chain Modeling”, Numerical Linear Algebra with Applications, vol. 1, no. 4, 1994, pp. 403–420.
A. Goyal, W. C. Carter, E. de Souza e Silva, S. S. Lavenberg, and K. S. Trivedi, “The System Availability Estimator”, Proc. of the 16th Int. Symp. on Fault-Tolerant Computing (FTCS-16), 1986, pp. 84–89.
L. Kaufmann, B. Gopinath and nE. F. Wunderlich, “Analysis of Packet Network Congestion Control using Sparse Matrix Algortihms”, IEEE Trans. on Communications, vol COM-29, no. 4, April 1981, pp. 453–465.
U. R. Krieger, B. Műller-Clostermann, M. Sczittnick, “Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains”, IEEE J. on Selected Areas in Comm., vol. 8, no. 9, December 1990, pp. 1630–1648.
P. Heidelberger, J. K. Muppala and K. Trivedi, “Accelerating Mean Time to Failure Computations”, IBM Research Report RC-0415, 1996 (to appear in Performance Evaluation).
B. Philippe, Y. Saad and W. J. Stewart, “Numerical Methods in Markov Chain Modeling”, Operations Research, vol. 40, no. 6, Nov.–Dec. 1992, pp. 1156–1179.
W. H. Press, B. P. Flannery, S. A. Teukolsky and W. T. Vetterling, Numerical Recipes. The Art of Scientific Computing, Cambridge University Press, Cambridge, 1986.
Y. Saad and M. H. Schultz, “GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems”, SIAM J. Sci. Stat. Comput., vol. 7, no. 3, July 1986, pp. 856–869.
W. J. Stewart and A. Goyal, “Matrix Methods in Large Dependability Models”, IBM Thomas J. Watson Research Center, Technical Report RC-11485, November 1985.
W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, Princeton, 1994.
V. S. Suñé and J. A. Carrasco, “A Comparison of Numerical Iterative Methods for Markovian Dependability and Performability Models”, Technical Report, Universitat Politècnica de Catalunya, June 1998.
R. S. Varga, Matrix Iterative Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1962.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Suñé, V., Carrasco, J.A. (1998). A Comparison of Numerical Splitting-based Methods for Markovian Dependability and Performability Models. In: Puigjaner, R., Savino, N.N., Serra, B. (eds) Computer Performance Evaluation. TOOLS 1998. Lecture Notes in Computer Science, vol 1469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-68061-6_13
Download citation
DOI: https://doi.org/10.1007/3-540-68061-6_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64949-6
Online ISBN: 978-3-540-68061-1
eBook Packages: Springer Book Archive