Skip to main content

Performance Modelling and Synchronisation

J Bradley, N Davies, Performance Modelling and Synchronisation. CSTR-98-009, Superseded by CSTR-99-002, Department of Computer Science, University of Bristol. December 1998. PDF, 433 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 are able to suggest other Markovian synchronisation models which complement and improve on those presented by TIPP and PEPA.

Bibtex entry.

Contact details

Publication Admin