Skip to main content

Reliable Performance Modelling with Approximate Synchronisations

J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. PAPM'99, Process Algebra and Performance Modelling. ISSN 8477335133, pp. 99–118. September 1999. PDF, 384 Kbytes.

Abstract

Markovian Process Algebras approximate their model of synchronisation events in order to preserve their Markovian nature. This paper investigates synchronisation models in a stochastic context and focuses on how the Markovian approximation of synchronisation affects the accuracy of the performance model. TIPP and PEPA are used as specific cases throughout, and their different methods of synchronisation are compared for effectiveness in performance modelling. The paper ends with a generally distributed example of real-world synchronisation, which we are able to solve analytically and then approximately with four Markovian Process Algebra models. From the results of this analysis, we show how such approximation affects the accuracy of the performance model of TIPP and PEPA.

Bibtex entry.

Contact details

Publication Admin