Symbolic performance and dependability evaluation with the tool CASPA
2004 | conference paper. A publication with affiliation to the University of Göttingen.
Jump to: Cite & Linked | Documents & Media | Details | Version history
Cite this publication
Symbolic performance and dependability evaluation with the tool CASPA
Kuntz, M.; Siegle, M. & Werner, E. (2004)
In:Núñez, Manuel (Ed.), Applying Formal Methods: Testing, Performance, and M/E-Commerce pp. 293-307. FORTE 2004 Workshops, TheFormEMC, EPEW, ITM, Toledo.
Berlin, Heidelberg: Springer. DOI: https://doi.org/10.1007/978-3-540-30233-9_22
Documents & Media
Details
- Authors
- Kuntz, M.; Siegle, M.; Werner, E.
- Editors
- Núñez, Manuel
- 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 specification. 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-matrix-based process algebra tools. Furthermore, CASPA is compared to other symbolic modelling tools.
- Issue Date
- 2004
- Publisher
- Springer
- Conference
- FORTE 2004 Workshops, TheFormEMC, EPEW, ITM
- Series
- Lecture Notes in Computer Science
- ISBN
- 3-540-23169-2
- Conference Place
- Toledo
- Event start
- 2004-10-01
- Event end
- 2004-10-02
- ISSN
- 0302-9743
- Language
- English