Logo eprints

Scalable differential analysis of large process algebra models

Tribastone, Mirco Scalable differential analysis of large process algebra models. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, p. 307. ISBN 978-1-4244-8082-1 (2010)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1109/QEST.2010.45
Projects: This work was supported by the EU project SENSORIA, IST-2005-016004
Uncontrolled Keywords: Algebra; Analytical models; Approximation methods; Markov processes; Mathematical model; Numerical models; Tutorials
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 09 Feb 2015 09:31
Last Modified: 09 Feb 2015 09:31
URI: http://eprints.imtlucca.it/id/eprint/2574

Actions (login required)

Edit Item Edit Item