Scalable Differential Analysis of Large Process Algebra Models
Scalable Differential Analysis of Large Process Algebra Models
复制标题
DOI：
10.1109/qest.2010.45
复制
发表时间：
2010-09
期刊：
影响因子：
--
通讯作者：
M. Tribastone
中科院分区：
文献类型：
--
作者：
M. Tribastone
本教程关注的是使用常微分方程的硬件/软件系统的性能评估，这些常微分方程近似于从随机过程代数PEPA描述的模型中导出的大规模连续时间马尔可夫过程。本教程分为三个部分。第一部分阐述了本文的主要理论成果。第二部分介绍了支持PEPA差分分析的软件工具--PEPA Eclipse Plug-in。在最后一部分中，这种方法是与其他有效的分析技术在文献中。特别是，分层队列的比较。
This tutorial is concerned with the performance evaluation of hardware/software systems using ordinary differential equations which approximate large-scale continuous-time Markov processes derived from models described with the stochastic process algebra PEPA. The tutorial is divided into three parts. The first part illustrates the main theoretical results. The second part gives an overview of a software tool---the PEPA Eclipse Plug-in---which supports the differential analysis of PEPA. In the last part, this approach is related to other efficient analysis techniques in the literature. In particular, a comparison against layered queues is presented.