Computing Publications

Publications Home » Extracting Passage Times from PEP...

Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study

Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt

National Workshop Paper
UKPEW 2003, 19th UK Performance Engineering Workshop
July, 2003

Passage time densities and quantiles are important performance metrics which are increasingly used in specifying Service Level Agreements (SLAs) and benchmarks. PEPA is a popular stochastic process algebra and a powerful formalism for describing performance models of communication and computer systems. We present a case study passage time analysis of an 82,944 state PEPA model using the HYDRA tool. HYDRA specialises in passage time analysis of large Markov systems based on stochastic Petri nets. By using the new Imperial PEPA compiler (ipc) we can construct a HYDRA model from a PEPA model and obtain passage time densities based on the original PEPA description.

PDF of full publication (629 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.