Imperial College London
Alternate

ProfessorWilliamKnottenbelt

Faculty of Engineering, Department of Computing

Professor of Applied Quantitative Analysis
 
 
 
//

Contact

 

+44 (0)20 7594 8331w.knottenbelt Website

 
 
//

Location

 

E363ACE ExtensionSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Bradley:2003:10.1109/MASCOT.2003.1240679,
author = {Bradley, JT and Dingle, NJ and Gilmore, ST and Knottenbelt, WJ},
doi = {10.1109/MASCOT.2003.1240679},
pages = {344--351},
publisher = {IEEE Computer Soc},
title = {Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler},
url = {http://dx.doi.org/10.1109/MASCOT.2003.1240679},
year = {2003}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Bradley,JT
AU  - Dingle,NJ
AU  - Gilmore,ST
AU  - Knottenbelt,WJ
DO  - 10.1109/MASCOT.2003.1240679
EP  - 351
PB  - IEEE Computer Soc
PY  - 2003///
SP  - 344
TI  - Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler
UR  - http://dx.doi.org/10.1109/MASCOT.2003.1240679
UR  - http://pubs.doc.ic.ac.uk/ipc-pepa-passage-time/
UR  - http://hdl.handle.net/10044/1/5750
ER  -
Download