Search For:

Displaying 1-13 out of 13 total
Lumpability of fluid models with heterogeneous agent types
Found in: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
By Giulio Iacobelli,Mirco Tribastone
Issue Date:June 2013
pp. 1-11
Fluid models have gained popularity in the performance modeling of computing systems and communication networks. When the model under study consists of many different types of agents, the size of the associated system of ordinary differential equations (OD...
Generalised Communication for Interacting Agents
Found in: 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST)
By Max Tschaikowski,Mirco Tribastone
Issue Date:September 2012
pp. 178-188
Process algebra for quantitative evaluation are based on either of the two following mechanisms for communication: binary, where a channel is shared by exactly two agents, or multiway, where all agents sharing a channel must synchronise. In this paper we c...
Performance Modeling of Design Patterns for Distributed Computation
Found in: 2012 IEEE 20th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS)
By Ronald Strebelow,Mirco Tribastone,Christian Prehofer
Issue Date:August 2012
pp. 251-258
In software engineering, design patterns are commonly used and represent robust solution templates to frequently occurring problems in software design and implementation. In this paper, we consider performance simulation for two design patterns for process...
Fluid Analysis of Queueing in Two-Stage Random Environments
Found in: Quantitative Evaluation of Systems, International Conference on
By Giuliano Casale,Mirco Tribastone
Issue Date:September 2011
pp. 21-30
A large number of random environments leads to Markov processes where average-environment (AVG) and near-complete-decomposability (DEC) approximations suffer unacceptably large errors. This is problematic for queueing networks in particular, where state-sp...
Approximate Mean Value Analysis of Process Algebra Models
Found in: Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
By Mirco Tribastone
Issue Date:July 2011
pp. 369-378
Studying the existence of product forms of performance models described with compositional techniques is of central importance since this may lead to particularly efficient solution methods. This paper considers a class of models in the stochastic process ...
Hybrid Semantics for PEPA
Found in: Quantitative Evaluation of Systems, International Conference on
By Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
Issue Date:September 2010
pp. 181-190
In order to circumvent the problem of state-space explosion of large-scale Markovian models, the stochastic process algebra PEPA has been given a fluid semantics based on ordinary differential equations, treating all entities as continuous. However, low nu...
Scalable Differential Analysis of Large Process Algebra Models
Found in: Quantitative Evaluation of Systems, International Conference on
By Mirco Tribastone
Issue Date:September 2010
pp. 307
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 P...
Automatic Translation of UML Sequence Diagrams into PEPA Models
Found in: Quantitative Evaluation of Systems, International Conference on
By Mirco Tribastone, Stephen Gilmore
Issue Date:September 2008
pp. 205-214
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional properties of UML models. In this paper we present an automatic procedure to derive PEPA...
The PEPA Plug-in Project
Found in: Quantitative Evaluation of Systems, International Conference on
By Mirco Tribastone
Issue Date:September 2007
pp. 53-54
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.
An Analytical Model of a BitTorrent Peer
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone
Issue Date:February 2007
pp. 482-489
In this paper we propose a Markovian model of BitTorrent. Unlike already developed works which capture demographic dynamics, it focuses on the behavior of individual peers. To this end, we center our attention on a generic peer, called tagged peer (TP); fo...
Scalable Differential Analysis of Process Algebra Models
Found in: IEEE Transactions on Software Engineering
By Mirco Tribastone,Stephen Gilmore,Jane Hillston
Publication Date: September 2010
pp. N/A
The exact performance analysis of large-scale software systems with discrete-state approaches is difficult because of the well-known problem of state-space explosion. This paper considers this problem with regard to the stochastic process algebra PEPA, pre...
Relating layered queueing networks and process algebra models
Found in: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering (WOSP/SIPEW '10)
By Mirco Tribastone
Issue Date:January 2010
pp. 183-194
This paper presents a process-algebraic interpretation of the Layered Queueing Network model. The semantics of layered multi-class servers, resource contention, multiplicity of threads and processors are mapped into a model described in the stochastic proc...
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
Found in: Proceedings of the 7th international workshop on Software and performance (WOSP '08)
By Mirco Tribastone, Stephen Gilmore
Issue Date:June 2008
pp. 3
Recent trends in software engineering lean towards modelcentric development methodologies, a context in which the UML plays a crucial role. To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software...