AESOP home


Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler

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

Conference or Workshop Paper
MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
October, 2003
IEEE Computer Society Press
DOI 10.1109/MASCOT.2003.1240679

We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian process algebra for expressing compositional performance models. We introduce ipc, a tool which can process PEPA-specified passage-time densities and models by compiling the PEPA model and passage specification into the DNAmaca formalism. DNAmaca is an established modelling language for the low-level specification of very large Markov and semi-Markov chains. We provide performance results for ipc/DNAmaca and comparisons with another tool which supports PEPA, PRISM. Finally, we generate passage-time densities and quantiles for a case study of a high-availability web server.


Gabriele Kotsis (Ed.)

PDF of full publication (127.6 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (53 kilobytes)
(need help viewing GZipped Postscript files?)

Information from