Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
复制标题
绩效评估的正式方法
DOI：
10.1007/978-3-540-72522-0_4
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Clark A
中科院分区：
文献类型：
--
作者：
Clark A
在本教程中，我们将介绍随机过程代数及其在性能建模中的应用，重点是PEPA形式主义。简要介绍了扩展经典过程代数的随机时间和概率选择的动机。然后，我们提出了一个介绍的建模能力的形式主义和工具，以支持基于马尔可夫的分析。本章通过小例子来说明，演示了形式主义和工具的使用。
In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools.
登录
查看更多内容
数值分析方法
DOI：
10.1007/3-540-46506-5_15
发表时间：
2000
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
W. Stewart
通讯作者：
W. Stewart
非马尔可夫分析
影响因子：
3.7
作者：
R. German
通讯作者：
R. German
性能建模基础知识
DOI：
10.2307/2583651
发表时间：
1988
期刊：
SIGMETRICS Perform. Evaluation Rev.
影响因子：
--
作者：
Michael K. Molloy
通讯作者：
Michael K. Molloy
嵌入式系统的硬件/软件协同设计和快速原型设计
DOI：
10.1109/54.844331
发表时间：
2000
期刊：
IEEE Des. Test Comput.
影响因子：
--
作者：
F. Slomka;Matthias Dörfel;Ralf Münzenberger;R. Hofmann
通讯作者：
R. Hofmann
DOI：
10.1109/tse.1986.6312965
发表时间：
1986
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
D. Ferrari
通讯作者：
D. Ferrari