Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A unified tool for performance modelling and prediction
Authors: Stephen Gilmore ; Kloul Leila
Date:Jan 2005
Publication Title:Reliability Engineering and System Safety
Publication Type:Journal Article Publication Status:Published
Volume No:89(1) Page Nos:17-32
We describe a novel performability modelling approach, which facilitates the efficient solution of performance models extracted from high-level descriptions of systems. The notation which we use for our high-level designs is the Unified Modelling Language (UML) graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the multi-terminal binary decision diagram (MTBDD)-based PRISM probabilistic model checker. The UML models are compiled through an intermediate language, the stochastic process algebra PEPA, before translation into MTBDDs for solution. We illustrate our approach on a real-world analysis problem from the domain of mobile telephony.
2006 by The University of Edinburgh. All Rights Reserved
Links To Paper
Elsevier ScienceDirect homepage
Stephen Gilmore's homepage
Bibtex format
author = { Stephen Gilmore and Kloul Leila },
title = {A unified tool for performance modelling and prediction},
journal = {Reliability Engineering and System Safety},
publisher = {Elsevier},
year = 2005,
month = {Jan},
volume = {89(1)},
pages = {17-32},
doi = {10.1016/j.ress.2004.08.004},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh