Publications Home » Extracting Response Times from Fl...
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
Recent developments in the analysis of stochastic process algebra models allow for transient measures of very large models to be extracted. By performing so-called fluid analysis of stochastic proces algebra models, it is now feasible to analyse systems of size 10^1000 states and beyond. This paper seeks to extend the type of measure that can be extracted from this style of fluid analysis. We present a systematic transformation of a PEPA model that will allow us to extract measures analogous to response times. We end by extracting these response time measures from a PEPA model of a healthcare system.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.