A Unified Tool for Performance Modelling and Prediction

Stephen Gilmore, Leïla Kloul

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 UML graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the 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.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publication22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings
EditorsStuart Anderson, Massimo Felici, Bev Littlewood
PublisherSpringer-Verlag GmbH
Number of pages14
ISBN (Electronic)978-3-540-39878-3
ISBN (Print)978-3-540-20126-7
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'A Unified Tool for Performance Modelling and Prediction'. Together they form a unique fingerprint.

Cite this