Symbolic Performance and Dependability Evaluation with the Tool CASPA

Matthias Kuntz, Markus Siegle, Edith Werner

Abstract

This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams (MTBDD) to represent the labelled continuous time Markov chain (CTMC) underlying a given process algebraic speci cation. All phases of modelling, from model construction to numerical analysis and measure computation, are based entirely on this symbolic data structure. We present several case studies which demonstrate the superiority of CASPA over sparse-matrixbased process algebra tools. Furthermore, CASPA is compared to other symbolic modelling tools.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops
Address: 
Toledo, Spain
Publisher: 
Springer
Number: 
3236
Pages: 
293-307
Month: 
10
Year: 
2004
Note: 
Editors: Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, et al.
2011 © Software Engineering For Distributed Systems Group

Main menu 2