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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationApplying Formal Methods: Testing, Performance, and M/E-Commerce
Subtitle of host publicationFORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
EditorsManuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
PublisherSpringer-Verlag GmbH
Pages128-142
Number of pages15
VolumeII
ISBN (Electronic)978-3-540-30233-9
ISBN (Print)978-3-540-23169-1
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume3236
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results'. Together they form a unique fingerprint.

Cite this