Large-Scale Modelling with the PEPA Eclipse Plug-In

Mirco Tribastone () and Stephen Gilmore ()
Additional contact information
Mirco Tribastone: Ludwig-Maximilians-Universität München
Stephen Gilmore: The University of Edinburgh

A chapter in Operations Research Proceedings 2010, 2011, pp 169-174 from Springer

Abstract: 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.

Keywords: Stochastic Simulation; Average Response Time; Differential Analysis; Stochastic Simulation Algorithm; Large State Space (search for similar items in EconPapers)
Date: 2011
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:oprchp:978-3-642-20009-0_27

Ordering information: This item can be ordered from
http://www.springer.com/9783642200090

DOI: 10.1007/978-3-642-20009-0_27

Access Statistics for this chapter

More chapters in Operations Research Proceedings from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().