- Abstract:
-
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.
- Copyright:
- 2006 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- Elsevier ScienceDirect homepage
- Stephen Gilmore's homepage
- Bibtex format
- @Article{EDI-INF-RR-0770,
- 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 = {http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V4T-4F60WVJ-2-1W&_cdi=5767&_user=809099&_orig=browse&_coverDate=07%2F01%2F2005&_sk=999109998&view=c&wchp=dGLbVzz-zSkzk&md5=133089dd6741d7dda29795ac3c00864e&ie=/sdarticle.pdf},
- }
|