A wavefront parallelisation of CTMC solution using MTBDDs

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 732-741

  Zhang, Yi ^a   Parker, David ^a   Kwiatkowska, Marta ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS-TIME MARKOV CHAINS (CTMC); GAUSS-SEIDEL ITERATIVE METHOD; STEADY-STATE ANALYSIS; WAVEFRONT PARALLELIZATION;

COMPUTATIONAL COMPLEXITY; CONVERGENCE OF NUMERICAL METHODS; DECISION MAKING; INFORMATION ANALYSIS; LINEAR EQUATIONS; LINEAR SYSTEMS; MARKOV PROCESSES;

PARALLEL PROCESSING SYSTEMS;

EID: 27544461140     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1161/01.HYP.0000182660.74266.6d     Document Type: Conference Paper

References (20)

1. I. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic decision diagrams and their applications. Formal Methods in System Design, 10(2/3): 171-206, 1997.
2. A. Bell and B. Haverkort. Serial and parallel out-of-core solution of linear systems arising from generalised stochastic Petri nets. In Proc. High-Performance Computing Symposium (HPC). ASTC'01, pages 242-247. Society for Computer Simulation, 2001.
3. N. Boden, D. Cohen, R. Felderman, A. Kulawik, C. Seitz, J. Seizovic, and W. Su. Myrinet: A gigabit-per-second local area network. IEEE Micro, 15(1):29-36, 1995.
4. G. Ciardo and A. Miner. A data structure for the efficient Kronecker solution of GSPNs. In P. Buchholz and M. Silva, editors, Proc. 8th International Workshop on Petri Nets and Performance Models (PNPM'99), pages 22-31. IEEE Computer Society Press, 1999.
5. G. Ciardo and M. Tilgner. On the use of Kronecker operators for the solution of generalized stocastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, 1996.
6. G. Ciardo and K. Trivedi. A decomposition approach for stochastic reward net models. Performance Evaluation, 18(1):37-59, 1993.
7. E. Clarke, M. Fujita, P. McGeer, K. McMillan, J. Yang, and X. Zhao. Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods in System Design, 10((2/3): 149-169, 1997.
8. G. Golub, J. Onega, and G. Golub. Scientific Computing: An Introduction With Parallel Computing. Academic Press, 1993.
9. W. Gropp, E. Lusk, N. Doss, and A. Skjellum. A high-performance, portable implementation of the MPI message passing interface standard. Parallel Computing, 22(6):789-828, Sept. 1996.
10. O. Ibe and K. Trivedi. Stochastic Petri net models of polling systems. IEEE Journal on Selected Areas in Communications, 8(9):1649-1657, 1990.
11. W. Joubert, T. Oppe, R. Janardhan, and W. Dearholt. Fully parallel global M/ILU preconditioning for 3-D structured problems. Report LA-UR-98-2259, Los Alamos National Laboratory, May 1998.
12. W. Knottenbelt and P. Harrison. Distributed disk-based solution techniques for large Markov models. In B. Plateau, W. Stewart, and M. Silva, editors, Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99), pages 58-75. Prensas Universitarias de Zaragoza, 1999.
13. K. Koch, R. Baker, and R. Alcouffe. Solution of the first-order form of threedimensional discrete ordinates equations on a massively parallel machine. Transactions of the American Nuclear Society, 65(198), 1992.
14. D. Koester, S. Ranka, and G. Fox. A parallel Gauss-Seidel algorithm for sparse power system matrices. In Proceedings of Supercomputing'94, pages 184-193, 1994.
15. M. Kwiatkowska, G. Norman, and D. Parker. PRISM 2.0: A tool for probabilistic model checking. In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323. IEEE Computer Society Press, 2004.
16. M. Kwiatkowska, D. Parker, Y. Zhang, and R. Mehmood. Dual-processor parallelisation of symbolic probabilistic model checking. In D. DeGroot and P. Harrison, editors, Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 123-130. IEEE Computer Society Press, 2004.
17. MPI Forum. MPI: A message-passing interface standard. The International Journal of Supercomputer Applications and High Performance Computing, 8(3/4): 159-416, 1994.
18. D. Parker. Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis. University of Birmingham, 2002.
19. B. Plateau. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. In Proc. 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, volume 13(2) of Performance Evaluation Review, pages 147-153, 1985.
20. W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton, 1994.