Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:pure.ed.ac.uk:publications/53cecf76-393d-426e-990c-64a89fd5d268

A Unified Tool for Performance Modelling and Prediction

Authors
Publication date
1 January 2003
Publisher
Springer-Verlag GmbH
Doi

    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 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

    Similar works

    Full text

    thumbnail-image

    This paper was published in Edinburgh Research Explorer.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.