eprintid: 2574
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/74
datestamp: 2015-02-09 09:31:35
lastmod: 2015-02-09 09:31:35
status_changed: 2015-02-09 09:31:35
type: book_section
metadata_visibility: show
creators_name: Tribastone, Mirco
creators_id: mirco.tribastone@imtlucca.it
title: Scalable differential analysis of large process algebra models
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Algebra; Analytical models; Approximation methods; Markov processes; Mathematical model; Numerical models; Tutorials

abstract: 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.
date: 2010-09
publisher: IEEE
pagerange: 307-307
event_title: Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
id_number: 10.1109/QEST.2010.45
refereed: TRUE
isbn: 978-1-4244-8082-1 
book_title: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST) 
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5600373&isnumber=5600366
projects: This work was supported by the EU project SENSORIA, IST-2005-016004
citation:   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)