Derivation of passage-time densities in PEPA models using ipc: The imperial PEPA compiler

Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS

Volumn 2003-January, Issue , 2003, Pages 344-351

  Bradley, J T ^a   Dingle, N J ^a   Gilmore, S T ^b   Knottenbelt, W J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Algebra; Educational institutions; Laboratories; Performance analysis; Power system modeling; Probes; Steady state; Stochastic processes; Transient analysis; Web server

Indexed keywords

ALGEBRA; LABORATORIES; PROBES; PROGRAM COMPILERS; RANDOM PROCESSES; SPECIFICATIONS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; TRANSIENT ANALYSIS; WEB SERVICES; WORLD WIDE WEB;

EDUCATIONAL INSTITUTIONS; PERFORMANCE ANALYSIS; POWER SYSTEM MODEL; STEADY STATE; WEB SERVERS;

MODELING LANGUAGES;

EID: 84947923576     PISSN: 15267539     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MASCOT.2003.1240679     Document Type: Conference Paper

References (27)

1. J. T. Bradley. Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, October 1999.
2. J. T. Bradley, N. J. Dingle, P. G. Harrison, and W. J. Knottenbelt. Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models. In Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, Nice, April 2003. IEEE Computer Society Press.
3. J. T. Bradley, N. J. Dingle, W. J. Knottenbelt, and P. G. Harrison. Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic. In PNPM'03, Proceedings of Petri Nets and Performance Models, 2003. (To appear).
4. A. Carmona, L. Domingo, R. Macau, R. Puigjaner, and F. Rojo. Performance experiences of the Barcelona Olympic games computer system. In G. Haring and G. Kotsis, editors, Computer Performance Evaluation, Modeling Techniques and Tools, volume 794 of Lecture Notes in Computer Science, pages 52-75. Springer, 1994.
5. G. Clark. Formalising the specification of rewards with PEPA. In M. Ribaudo, editor, Process Algebra and Performance Modelling Workshop, pages 139-160. CLUT, Torino, July 1996.
6. G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting modal logic to express performance measures. In B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith, editors, TOOLS 2000, Proceedings of 11th Int. Conference on Computer Performance Evaluation: Modelling Techniques and Tools, volume 1601 of Lecture Notes in Computer Science, pages 247-261, Schaumburg, IL, March 2000. Springer-Verlag.
7. G. Clark, S. Gilmore, J. Hillston, and N. Thomas. Experiences with the PEPA performance modelling tools. In UKPEW'98, Proceedings of the 14th UK Performance Engineering Workshop, Edinburgh, July 1998.
8. G. Clark and W. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In L. de Alfaro and S. Gilmore, editors, Proceedings of the first joint PAPM-PROBMIV Workshop, volume 2165 of Lecture Notes in Computer Science, pages 200-215, Aachen, Germany, Sept. 2001. Springer-Verlag.
9. N. J. Dingle, P. G. Harrison, and W. J. Knottenbelt. Response time densities in Generalised Stochastic Petri Net models. In Proceedings of the 3rd International Workshop on Software and Performance (WOSP'2002), pages 46-54, Rome, July 2002.
10. N. J. Dingle, P. G. Harrison, and W. J. Knottenbelt. Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models. Submitted to the Journal of Parallel and Distributed Computing, 2002.
11. N. J. Dingle, W. J. Knottenbelt, and P. G. Harrison. HYDRA: HYpergraph-based Distributed Response-time Analyser. In Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), Las Vegas, NV, June 2003.
12. S. Gilmore and J. Hillston. The PEPA workbench: A tool to support a process algebra-based approach to performance modelling. In G. Haring and G. Kotsis, editors, Proceedings of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation,volume 794 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Vienna, May 1994.
13. S. Gilmore and J. Hillston. Feature interaction in PEPA. In C. Priami, editor, Process Algebra and Performance Modelling Workshop, pages 17-26. Università Degli Studi di Verona, Nice, September 1998.
14. W. Grassman. Means and variances of time averages in Markovian environments. European Journal of Operational Research, 31(1):132-139, 1987.
15. P. G. Harrison and W. J. Knottenbelt. Passage-time distributions in large Markov chains. In M. Martonosi and E. d. S. e Silva, editors, Proceedings of ACM SIGMETRICS 2002, pages 77-85, Marina Del Rey, USA, June 2002.
16. J. Hillston. Compositional Markovian modelling using a process algebra. In Proceedings of the 2nd International Workshop on Numerical Solution of Markov Chains. Kluwer Academic Press, Raleigh, January 1995.
17. J. Hillston. A Compositional Approach to Performance Modelling, volume 12 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1996. ISBN 0 521 57189 8.
18. S. P. Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.
19. W. J. Knottenbelt. Generalised Markovian analysis of timed transitions systems. MSc thesis, University of Cape Town, South Africa, July 1996.
20. W. J. Knottenbelt. Parallel Performance Analysis of Large Markov Models. PhD thesis, Imperial College, London, United Kingdom, February 2000.
21. W. J. Knottenbelt and P. G. Harrison. Distributed disk-based solution techniques for large Markov models. In NSMC'99, Proceedings of the 3rd Intl. Conference on the Numerical Solution of Markov Chains, pages 58-75, Zaragoza, September 1999.
22. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In J.-P. Katoen and P. Stevens, editors, Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS, pages 52-66. Springer, 2002.
23. MapleSoft Corporation. Maple computer algebra system. Web site, Apr. 2003. http://www.maplesoft.com/.
24. B. Melamed and M. Yadin. Randomization procedures in the computation of cumulative-time distributions over discrete state Markov processes. Operations Research, 32(4):926-944, July-August 1984.
25. J. K. Muppala and K. S. Trivedi. Numerical transient analysis of finite Markovian queueing systems. In U. N. Bhat and I. V. Basawa, editors, Queueing and Related Models, pages 262-284. Oxford University Press, 1992.
26. A. Reibman and K. Trivedi. Numerical transient analysis of Markov models. Computers and Operations Research, 15(1):19-36, 1988.
27. M. Ribaudo. Stochastic Petri net semantics for stochastic process algebras. In PNPM'95, Proceedings of 6th Int. Workshop on Petri Nets and Performance Models, pages 148-157, Durham, North Carolina, October 1995.