Computing Publications

Publications Home » How Synchronisation Strategy Appr...

How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results

Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas

Conference or Workshop Paper
EPEW'04, European Performance Evaluation Workshop
October, 2004
Lecture Notes in Computer Science
Volume 3236

Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the probability that the time taken for a network header packet to travel across a heterogeneous network is less than 10ms must be at least 0.95. In this paper, we show how new tools can extract passage time densities and distributions from stochastic models defined in PEPA, a stochastic process algebra. In stochastic process algebras, the synchronisation policy is important for defining how different system components interact. We also show how these passage time results can vary according to which synchronisation strategy is used. We compare results from two popular strategies.

PDF of full publication (319 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (65 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.