Computing Publications

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)
DOI 10.1109/QEST.2012.24

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.

Fluid and ODE analysis
Performance Modelling and Analysis
Process Algebra
PDF of full publication (178 kilobytes)
(need help viewing PDF files?)
PDF of presentation slides (352 kilobytes)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.