A Unified Tool for Performance Modelling and Prediction

Stephen Gilmore; Leïla Kloul

doi:10.1007/978-3-540-39878-3_15

A Unified Tool for Performance Modelling and Prediction

Stephen Gilmore
, Leïla Kloul

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
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
Publisher	Springer
Pages	179-192
Number of pages	14
ISBN (Electronic)	978-3-540-39878-3
ISBN (Print)	978-3-540-20126-7
DOIs	https://doi.org/10.1007/978-3-540-39878-3_15
Publication status	Published - 2003

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	2788
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-39878-3_15

safecomp2003(1)Accepted author manuscript, 225 KB

http://dx.doi.org/10.1007/978-3-540-39878-3_15

Cite this

Gilmore, S., & Kloul, L. (2003). A Unified Tool for Performance Modelling and Prediction. In S. Anderson, M. Felici, & B. Littlewood (Eds.), Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings (pp. 179-192). (Lecture Notes in Computer Science; Vol. 2788). Springer. https://doi.org/10.1007/978-3-540-39878-3_15

@inproceedings{53cecf76393d426e990c64a89fd5d268,

title = "A Unified Tool for Performance Modelling and Prediction",

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.",

author = "Stephen Gilmore and Le{\"i}la Kloul",

year = "2003",

doi = "10.1007/978-3-540-39878-3\_15",

language = "English",

isbn = "978-3-540-20126-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "179--192",

editor = "Stuart Anderson and Massimo Felici and Bev Littlewood",

booktitle = "Computer Safety, Reliability, and Security",

address = "United Kingdom",

}

Gilmore, S & Kloul, L 2003, A Unified Tool for Performance Modelling and Prediction. in S Anderson, M Felici & B Littlewood (eds), Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Lecture Notes in Computer Science, vol. 2788, Springer, pp. 179-192. https://doi.org/10.1007/978-3-540-39878-3_15

A Unified Tool for Performance Modelling and Prediction. / Gilmore, Stephen; Kloul, Leïla.
Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. ed. / Stuart Anderson; Massimo Felici; Bev Littlewood. Springer, 2003. p. 179-192 (Lecture Notes in Computer Science; Vol. 2788).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Unified Tool for Performance Modelling and Prediction

AU - Gilmore, Stephen

AU - Kloul, Leïla

PY - 2003

Y1 - 2003

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

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

U2 - 10.1007/978-3-540-39878-3_15

DO - 10.1007/978-3-540-39878-3_15

M3 - Conference contribution

SN - 978-3-540-20126-7

T3 - Lecture Notes in Computer Science

SP - 179

EP - 192

BT - Computer Safety, Reliability, and Security

A2 - Anderson, Stuart

A2 - Felici, Massimo

A2 - Littlewood, Bev

PB - Springer

ER -

A Unified Tool for Performance Modelling and Prediction

Abstract

Publication series

Access to Document

Fingerprint

Cite this