In this paper we propose a methodology for the modeling and analysis of ad hoc networks composed by a large number of nodes moving among geographical regions. This methodology uses compositional construction of stochastic Petri nets (SPN) for building the model which allows for specifying the model and the required performance indices at a high level of abstraction. As our aim is to consider real scenarios with several geographical regions and non-trivial user behavior in each region, the size of the state space of the model can easily grow too large to analyze with exact analytical approaches or even with simulation. For this reason, we propose to carry out the analysis by constructing the mean field approximation of the behavior of the SPN. The approximation is provided by a set of ordinary differential equations (ODE) that can be derived automatically from the SPN and can be solved numerically with low computational effort even for large models. The methodology is illustrated on a case study, modeling application spreading in a mobile environment. It will be shown that the approximate results obtained by the mean field approach capture well the behavior of the system.

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks

BECCUTI, Marco;DE PIERRO, Massimiliano;HORVATH, Andras;
2011-01-01

Abstract

In this paper we propose a methodology for the modeling and analysis of ad hoc networks composed by a large number of nodes moving among geographical regions. This methodology uses compositional construction of stochastic Petri nets (SPN) for building the model which allows for specifying the model and the required performance indices at a high level of abstraction. As our aim is to consider real scenarios with several geographical regions and non-trivial user behavior in each region, the size of the state space of the model can easily grow too large to analyze with exact analytical approaches or even with simulation. For this reason, we propose to carry out the analysis by constructing the mean field approximation of the behavior of the SPN. The approximation is provided by a set of ordinary differential equations (ODE) that can be derived automatically from the SPN and can be solved numerically with low computational effort even for large models. The methodology is illustrated on a case study, modeling application spreading in a mobile environment. It will be shown that the approximate results obtained by the mean field approach capture well the behavior of the system.
2011
The 73rd IEEE Vehicular Technology Conference VTC2011-Spring Budapest, Hungary, 15-18 May 2011
Budapest, Hungary
15-18 May 2011
Vehicular Technology Conference (VTC Spring), 2011 IEEE 73rd
Institute of Electrical and Electronic Engineers (IEEE), Inc.
1
5
9781424483327
Petri Nets; Ordinary Differential Equations; ad hoc networks; ODE; mean field analysis; Stochastic Petri Nets; Analytical models; Approximation methods; Computational modeling
Beccuti Marco ; De Pierro Massimiliano; Horváth András ; Horváth Ádám ; Farkas Károly
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/93952
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 0
social impact