Symbolic Performance and Dependability Evaluation with the Tool CASPA

Symbolic Performance and Dependability Evaluation with the Tool CASPA
复制标题

使用 CASPA 工具进行符号性能和可靠性评估

DOI：
--
复制
发表时间：
2004
期刊：
FORTE Workshops
影响因子：
--
通讯作者：
Edith Werner
Edith Werner
中科院分区：
--
文献类型：
--
作者：
M. Kuntz;Markus Siegle;Edith Werner

文献摘要

被引文献

相似文献

本文介绍了CASPA工具，一个新的性能评估工具，它是基于马尔可夫随机过程代数。CASPA使用多端二叉决策图（MTBDD）来表示给定过程代数规范下的标记连续时间马尔可夫链（CTMC）。建模的所有阶段，从模型构造到数值分析和测量计算，都完全基于这种符号数据结构。我们提出了几个案例研究，证明了CASPA的优势，稀疏矩阵为基础的进程代数工具。此外，CASPA相比，其他符号建模工具。
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.