Computing Publications

Publications Home » Performance specification and eva...

Performance specification and evaluation with Unified Stochastic Probes and fluid analysis

Richard Hayden, Jeremy T. Bradley, A Clark

Journal Article
IEEE Transactions on Software Engineering
January, 2012
IEEE Computer Society
DOI 10.1109/TSE.2012.1

Rapid and accessible performance evaluation of complex software systems requires two critical features: the ability to specify useful performance metrics easily and the capability to analyse massively-distributed architectures, without recourse to large compute clusters. We present the unified stochastic probe, a performance specification mechanism for process algebra models that combines many existing ideas: state and action-based activation, location-based specification, many-probe specification and immediate signalling. These features, between them, allow the precise and compositional construction of complex performance measurements.

The paper shows how a subset of the stochastic probe language can be used to specify common response-time measures in massive process algebra models. The second contribution of the paper is to show how these response-time measures can be analysed using so-called fluid techniques to produce rapid results. In doing this, we extend the fluid approach to incorporate immediate activities and a new type of response-time measure. Finally, we calculate various response-time measurements on a complex distributed wireless network of O(10^129) states in size.

Fluid and ODE analysis
Performance Modelling and Analysis
Process Algebra
Program Verification
Stochastic Modelling

Submitted 14 August 2010. Revised 24 October 2011. Accepted 24 December 2011.

PDF of full publication (757 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.