Performance modelling of hierarchical cellular networks using PEPA

Authors:
J. M. Fourneau;L. Kloul;F. Valois
Affiliations:
Laboratoire PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78035 Versailles Cedex, France;Laboratoire PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78035 Versailles Cedex, France;Laboratoire PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78035 Versailles Cedex, France
Venue:
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Year:
2002

Citing 2
Cited 8

A compositional approach to performance modelling

A compositional approach to performance modelling
Teletraffic modeling and analysis of flexible hierarchical cellular networks with speed-sensitive handoff strategy

IEEE Journal on Selected Areas in Communications

PEPA nets: a structured performance modelling formalism

Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Journal of Computer and System Sciences
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Fluid semantics for passive stochastic process algebra cooperation

Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Evaluating fluid semantics for passive stochastic process algebra cooperation

Performance Evaluation
Stochastic process algebras

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science
Replicating web services for scalability

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a performance evaluation study of hierarchical cellular networks using Performance Evaluation Process Algebra (PEPA). These networks constitute a new application area for this process algebra formalism. We show that this formalism can easily be used to model such systems. We also show that the strong equivalence aggregation technique behind PEPA allows a significant reduction of the state space of the underlying Markov process. Using the resulting model, we derive performance criteria such as new call blocking and dropping handover probabilities.