Extracting passage times from PEPA models with the HYDRA tool: A case study

Stephen Gilmore, Jeremy T. Bradley, N.J. Dingle, W.J. Knottenbelt

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the Nineteenth annual UK Performance Engineering Workshop
Number of pages12
Publication statusPublished - 2003


Dive into the research topics of 'Extracting passage times from PEPA models with the HYDRA tool: A case study'. Together they form a unique fingerprint.

Cite this