AESOP home

Publications

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
June, 2003
pp.79–90
Abstract

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 (628.8 kilobytes)
(need help viewing PDF files?)

Information from pubs.doc.ic.ac.uk/pepa-ukpew2003.