AESOP home


Extracting Response Times from Fluid Analysis of Performance Models

Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto

Conference or Workshop Paper
SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
May, 2008
Lecture Notes in Computer Science
Volume 5119
DOI 10.1007/978-3-540-69814-2_4

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.

PDF of full publication (191.5 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (182.8 kilobytes)
(need help viewing GZipped Postscript files?)
PDF of presentation slides (845.2 kilobytes)

Information from