Computing Publications

Publications Home » Fluid-flow solutions in PEPA to t...

Fluid-flow solutions in PEPA to the state space explosion problem

Richard Hayden, Jeremy T. Bradley

National Workshop Paper
PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
July, 2007

Achieving the appropriate performance requirements for computer-communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical model is invariably computationally intensive. Formal modelling techniques make possible the derivation of such performance measures but currently suffer from the state-space explosion problem, that is, models become intractably large even for systems of apparently modest complexity. This work develops a novel class of techniques aimed at addressing this problem by approximating a representation of massive state spaces as more computationally-tractable real variables (fluid-flow analysis).

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