eprintid: 2578
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/78
datestamp: 2015-02-09 10:29:56
lastmod: 2015-02-09 10:29:56
status_changed: 2015-02-09 10:29:56
type: book_section
metadata_visibility: show
creators_name: Tribastone, Mirco
creators_name: Gilmore, Stephen
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: Large-scale modelling with the PEPA eclipse plug-in
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: Selected Papers of the Annual International Conference of the German Operations Research Society
abstract: We report on recent advances in the development of the PEPA Eclipse Plug-in, a software tool which supports a complete modelling workflow for the stochastic process algebra PEPA. The most notable improvements regard the implementation of the population-based semantics, which constitutes the basis for the aggregation of models for large state spaces. Analysis is supported either via an efficient stochastic simulation algorithm or through fluid approximation based on ordinary differential equations. In either case, the functionality is provided by a common graphical interface, which presents the user with a number of wizards that ease the specification of typical performance measures such as average response time or throughput. Behind the scenes, the engine for stochastic simulation has been extended in order to support both transient and steady-state simulation and to calculate confidence levels and correlations without resorting to external tools.
date: 2011
series: Operations Research Proceedings
publisher: Springer
pagerange: 169-174
id_number: 10.1007/978-3-642-20009-0_27
refereed: TRUE
isbn: 978-3-642-20009-0
book_title: Operations Research Proceedings 2010
official_url: http://dx.doi.org/10.1007/978-3-642-20009-0_27
citation:   Tribastone, Mirco and Gilmore, Stephen  Large-scale modelling with the PEPA eclipse plug-in.   In:  Operations Research Proceedings 2010.   Operations Research Proceedings .  Springer, pp. 169-174.  ISBN 978-3-642-20009-0      (2011)