Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10421182 | Reliability Engineering & System Safety | 2005 | 16 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Mechanical Engineering
Authors
Stephen Gilmore, Leïla Kloul,