An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
复制标题
随机过程代数工具CASPA的高效符号消除算法
DOI：
10.1007/978-3-540-95891-8_44
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Siegle
中科院分区：
文献类型：
--
作者：
J. Bachmann;M. Riedl;J. Schuster;M. Siegle
CASPA是一个随机过程代数工具，用于性能和可靠性建模，分析和验证。它完全基于符号数据结构MTBDD（多端二元决策图），使该工具能够处理具有非常大的状态空间的模型。本文着重于扩展CASPA的建模语言加权立即行动。我们讨论了相关的语义，并提出了一个有效的符号算法消除消失状态。一个重要的案例研究说明了CASPA的使用功能，从图形模型规范到数值分析。
CASPA is a stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle models with very large state space. This paper focuses on an extension of CASPA’s modelling language by weighted immediate actions. We discuss the pertaining semantics and present an efficient symbolic algorithm for the elimination of vanishing states. A non-trivial case study illustrates the usage features of CASPA, from graphical model specification to numerical analysis.
登录
查看更多内容
随机系统的符号模型检查：理论与实现
影响因子：
1.8
作者：
M. Kuntz;Markus Siegle
通讯作者：
Markus Siegle
使用 CASPA 工具进行符号性能和可靠性评估
DOI：
--
发表时间：
2004
期刊：
FORTE Workshops
影响因子：
--
作者：
M. Kuntz;Markus Siegle;Edith Werner
通讯作者：
Edith Werner
一种用于内存速度权衡的稀疏子矩阵表示的符号多级方法
DOI：
--
发表时间：
2011
期刊：
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen
影响因子：
--
作者：
Johann Schuster;Markus Siegle
通讯作者：
Markus Siegle
DOI：
--
发表时间：
2002
期刊：
Process Algebra and Probabilistic Methods, Performance Modeling and Verification
影响因子：
--
作者：
M. Kuntz;Markus Siegle
通讯作者：
Markus Siegle
具有概率、优先级和时间的流程
影响因子：
1
作者：
C. Tofts
通讯作者：
C. Tofts