Probabilistic evaluation for the analytical solution of large Markov models: Algorithms and tool support

Microelectronics Reliability

Volumn 36, Issue 6 SPEC. ISS., 1996, Pages 733-755

  Van Moorsel, Aad P A ^a   Haverkort, B R ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; STATE SPACE METHODS;

MARKOV MODELS; PROBABILISTIC EVALUATION;

MARKOV PROCESSES;

EID: 0030166409     PISSN: 00262714     EISSN: None     Source Type: Journal    
DOI: 10.1016/0026-2714(95)00193-X     Document Type: Article

References (22)

1. G. Ciardo, J. Muppala, K.S. Trivedi, "SPNP: Stochastic Petri Net Package," Proceedings of the Third International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, pp.142-151, 1989.
2. J. Dunkel, H. Stahl, "On the Transient Analysis of Stiff Markov Chains," Proceedings of Third Working Conference on Dependable Computing for Critical Applications, Mondello, Italy, 1992.
3. W. Feller, An Introduction to Probability Theory and Its Applications, Volume I and II, John Wiley, New York, 1966.
4. G. Florin, C. Fraize, S. Natkin, "A New Approach of Formal Proof: Probabilistic Validation," Dependable Computing and Fault-Tolerant Systems, 6, J.F. Meyer, R.D. Schlichting (Eds.), pp.357-374, Springer-Verlag, Wien, 1992.
5. B.L. Fox, P.W. Glynn, "Computing Poisson Probabilities," Communications of the ACM 31, pp.440-445, 1988.
6. D. S. de Graaf, Orthogonal Uniformization for Probabilistic Validation, senior project, University of Twente, 1993.
7. W.K. Grassmann, "Means and Variances of Time Averages in Markovian Environments," European Journal of Operations Research 31, pp. 132-139, 1987.
8. W.K. Grassmann, "Finding Transient Solutions in Markovian Event Systems through Randomization," Numerical Solution of Markov Chains, W.J. Stewart (Ed.), Marcel Dekker, New York, 1991.
9. D. Gross, D.R. Miller, "The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes," Operations Research, 32, pp.343-361, 1984.
10. B.R. Haverkort, "Approximate Performability and Dependability Analysis using Generalized Stochastic Petri Nets," Performance Evaluation 18, pp.61-78, 1993.
11. B.R. Haverkort, "In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models", forthcoming in The Computer Journal, British Computer Society, 1995.
12. A. Jensen, "Markoff Chains as an Aid in the Study of Markoff Processes," Skand. Aktuarietidskrift, 36, pp.87-91, 1953.
13. E. Klein, Probabilistic Validation by Means of Uniformization, M.S. thesis, University of Twente, 1994.
14. N. F. Maxemchuk. K. Sabnani, "Probabilistic Verification of Communication Protocols," Distributed Computing, 3, 1989.
15. C. Moler, C. F. van Loan, "Nineteen Dubious Ways to Compute the Matrix Exponential," SIAM Review, 20, pp.801-835, 1978.
16. A.P.A. van Moorsel, Performabilty Evaluation Concepts and Techniques, Ph.D. thesis, University of Twente, 1993.
17. A.P.A. van Moorsel, W.H. Sanders, "Adaptive Uniformization", Stochastic Models, 10, pp.619-648, 1994.
18. D. M. Nicol, D. L. Palumbo, "Reliability Analysis of Complex Models Using SURE Bounds," IEEE Transactions on Reliability, 44, pp.46-53, 1995.
19. W. H. Sanders, W. D. Obal II, M.A. Qureshi, F. K. Widnajarko, "The UltraSAN Modeling Environment," forthcoming in Performance Evaluation, special issue on Performance Modeling Tools, 1995.
20. D. Sonderman, "Comparing Semi-Markov Processes," Mathematics of Operations Research, 5, pp. 110-119, 1980.
21. E. de Souza e Silva, H.R. Gail, "Performability Analysis of Computer Systems: from Model Specification to Solution," Performance Evaluation, 14, pp. 157-196, 1992.
22. E. de Souza e Silva, P.M. Ochoa, "State Space Exploration in Markov Models," ACM Performance Evaluation Review, 20, pp. 152-166, 1992.