Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler
File(s)ipc-pepa-passage-time.PDF (393.67 KB)
Published version
Author(s)
Bradley,J.T.
Dingle,N.J.
Gilmore,S.T.
Knottenbelt,W.J.
Type
Conference Paper
Abstract
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.
Editor(s)
Titsworth, F
Date Issued
2003
Citation
2003, pp.344-351
ISBN
9780769520391
0-7695-2039-1
Publisher
IEEE Computer Soc
Source Title
11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems (MASCOTS 2003)
Conference
PROCEEDINGS OF THE 11TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER TELECOMMUNICATIONS SYSTEMS
Start Page
344
End Page
351
Copyright Statement
© 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Identifier
http://pubs.doc.ic.ac.uk/ipc-pepa-passage-time/
Source
11th IEEE/ACM international symposium on modeling, analysis and simulation of computer telecommunications systems (MASCOTS 2003), Orlando, Florida
Source Place
ORLANDO, FL
Place of Publication
Los Alamitos