Publications Home » Specification and efficient compu...
Specification and efficient computation of passage-time distributions in GPA
Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Conference or Workshop Paper
- 9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
- 2012
- DOI 10.1109/QEST.2012.24
- Abstract
We present a significant extension to the Grouped PEPA Analyser tool. We have augmented the tool with the ability to specify complex passage-time distributions with the Unified Stochastic Probes formalism and implemented efficient fluid analysis techniques to compute the distributions. The extension incorporates immediate signalling and weighted passive rates and permits two classes of passage time, namely global and individual passage times, to be computed.
We summarise how the different classes of passage-time query can be expressed using the Unified Stochastic Probe formalism and present some results from probed GPA models.
- Keywords
- Fluid and ODE analysis
- Performance Modelling and Analysis
- Process Algebra
- AESOP
PDF of full publication (178 kilobytes)- (need help viewing PDF files?)
- PDF of presentation slides (352 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.