A unified tool for performance modelling and prediction

Stephen Gilmore, Leïla Kloul

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)17-32
Number of pages16
JournalReliability Engineering and System Safety
Issue number1
Publication statusPublished - 2005


  • Performance evaluation process algebra


Dive into the research topics of 'A unified tool for performance modelling and prediction'. Together they form a unique fingerprint.

Cite this