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.
|Title of host publication||Computer Safety, Reliability, and Security|
|Subtitle of host publication||22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings|
|Editors||Stuart Anderson, Massimo Felici, Bev Littlewood|
|Number of pages||14|
|Publication status||Published - 2003|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|