#### Filter Results:

#### Publication Year

2006

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Richard A. Hayden, Jeremy T. Bradley
- Theor. Comput. Sci.
- 2010

Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models generated by process algebras , as with other interleaving formalisms, are susceptible to the state space explosion problem. Models with only a modest number of process algebra terms… (More)

- Richard A. Hayden, Jeremy T. Bradley, Allan Clark
- IEEE Transactions on Software Engineering
- 2013

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 analyze massively distributed architectures, without recourse to large compute clusters. We present the unified stochastic probe, a performance specification mechanism for… (More)

- Richard A. Hayden
- QEST
- 2012

—We extend the mean-field (a.k.a. fluid-analysis) approach for massively-parallel continuous-time Markov chains (CTMCs) to models with both Markovian and deterministically-timed transitions. We introduce a new low-level formalism for specifying massively-parallel models with generally-timed transitions , the population generalised semi-Markov process… (More)

- Richard A. Hayden, Jeremy T. Bradley
- VALUETOOLS
- 2008

Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into a fluid model is of direct practical application. We compare different existing styles of fluid model… (More)

We extend the population continuous time Markov chain formalism so that the state space is augmented with continuous variables accumulated over time as functions of component populations. System feedback can be expressed using accumulations that in turn can influence the Markov chain behaviour via functional transition rates. We show how to obtain… (More)

—We present a significant extension to the Grouped PEPA Analyser (GPA) 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… (More)

- Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
- Theor. Comput. Sci.
- 2012

Recent developments in the analysis of large Markov models facilitate the fast approximation of transient characteristics of the underlying stochastic process. Fluid analysis makes it possible to consider previously intractable models whose underlying discrete state space grows exponentially as model components are added. In this work, we show how… (More)

- Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
- QAPL
- 2010

We present a new tool, GPA, that can generate key performance measures for very large systems. Based on solving systems of ordinary differential equations (ODEs), this method of performance analysis is far more scalable than stochastic simulation. The GPA tool is the first to produce higher moment analysis from differential equation approximation, which is… (More)

- Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
- SIGMETRICS Performance Evaluation Review
- 2011

Capturing energy consumption directly from a stochastic behavioural model is a computationally expensive process. Using a so-called fluid analysis technique we are able to access accumulated reward measures in much larger scale stochastic systems than has been previously possible.These accumulated rewards are ideal for deriving energy and power consumption… (More)