Publications Home » GPA - Tool for rapid analysis of ...
GPA - Tool for rapid analysis of very large scale PEPA models
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- National Workshop Paper
- UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
- July, 2010
- pp.91–101
- University of Warwick
- ISBN 9-780955-970320
- Abstract
We present a tool called Grouped PEPA Analyser (GPA) that allows fast analysis of large scale models described in the stochastic process algebra PEPA. GPA employs the techniques for approximations of transient moments in PEPA models with ordinary differential equations (ODEs), which allow analysis of systems with state spaces far beyond the limits of standard techniques. These moments provide useful information about the evolution of the model over time. Additionally, GPA implements a recently developed extension for moments of accumulated rewards, giving access to measures representing important factors in performance modeling such as energy consumption. GPA is also able to use these moments to calculate bounds on various passage time probabilities as well as completion times of the accumulated rewards. We describe the features of GPA in detail and briefly mention some design issues. We also present a technique that GPA implements for analysing more complex PEPA models with a higher degree of accuracy.
- Keywords
- Fluid and ODE analysis
- Performance Modelling and Analysis
- Process Algebra
- Stochastic Modelling
- AESOP
PDF of full publication (368 kilobytes)- (need help viewing PDF files?)
- PDF of presentation slides (418 kilobytes)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.