Toggle Main Menu Toggle Search

Open Access padlockePrints

How synchronisation strategy approximation in PEPA implementations affects passage time performance results

Lookup NU author(s): Dr Nigel Thomas

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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. © Springer-Verlag 2004.


Publication metadata

Author(s): Bradley JT, Gilmore ST, Thomas N

Editor(s): Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Applying Formal Methods: Testing, Performance, and M/E-Commerce

Year of Conference: 2004

Pages: 128-142

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-540-30233-9_10

DOI: 10.1007/978-3-540-30233-9_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540231691


Share