Publications Home » Performance Trees: Implementation...
Performance Trees: Implementation And Distributed Evaluation
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
- Conference or Workshop Paper
- PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification
- March, 2008
- Abstract
In this paper, we describe the first realisation of an evaluation environment for Performance Trees, a recently proposed formalism for the specification of performance properties and measures. In particular, we present details of the architecture and implementation of this environment that comprises a client-side model and performance query specification tool, and a server-side distributed evaluation engine, supported by a dedicated computing cluster. The evaluation engine combines the analytic capabilities of a number of distributed tools for steady-state, passage time and transient analysis, and also incorporates a caching mechanism to avoid redundant calculations. We demonstrate in the context of a case study how this analysis pipeline allows remote users to design their models and performance queries in a sophisticated yet easy to use framework, and subsequently evaluate them by harnessing the computing power of a Grid cluster back-end.
- Keywords
- Stochastic Modelling
- AESOP
PDF of full publication (910 kilobytes)- (need help viewing PDF files?)
- PDF of presentation slides (6.4 megabytes)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.