• Home
  • Search
  • Mobility Models and Behavioural Equivalence for Wireless Networks
  • Cite Icon39
  • https://doi.org/10.1007/978-3-642-02053-7_6Copy DOI Icon

Mobility Models and Behavioural Equivalence for Wireless Networks

  • Jan 1, 2009
  • Jens Chr Godskesen +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for the successful evaluation of protocols. More recently, wireless protocols have also come into the focus of formal approaches to the modelling and verification of concurrent systems. While in these approaches mobility is also given a central role, the actual mobility modelling remains simplistic since arbitrary node movements are allowed. This leads to a huge behavioural overapproximation that might prevent a successful reasoning about protocol properties. In this paper we describe how to extend a process calculus by realistic mobility models in an orthogonal way. The semantics of our calculus incorporates a notion of global time passing that allows us to express a wide range of mobility models currently used in protocol development practice. Using the behavioural equivalence and pre-order of our calculus, we are furthermore able to compare the strength of these models in our approach.

Similar Papers
  • Book Chapter
  • Citations13

Obstacle Mobility Model Based on Activity Area in Ad Hoc Networks

  • Aug 26, 2007
  • Hamideh Babaei +2
  • Research Article
  • Citations1

CGAM: A community and geography aware mobility model

  • Sep 27, 2017
  • International Journal of Communication Systems
  • Fatima Mourchid +3
  • Research Article
  • Citations31

A realistic mobility model with irregular obstacle constraints for mobile ad hoc networks

  • Sep 14, 2017
  • Wireless Networks
  • Wei Wang +4
  • PDF
  • Research Article

Performance Evaluation and Statistical Analysis of MANET routing Protocols for RPGM and MG

  • Jan 01, 2013
  • International Journal of Advanced Computer Science and Applications
  • Prajakta M +1
  • Conference Article
  • Citations1

DPMM: A novel mobility model for delay tolerant networks

  • Feb 01, 2010
  • Fazl-E-Hadi +2
  • Conference Article
  • Citations97

Putting contacts into context

  • May 17, 2011
  • Theus Hossmann +2
  • Conference Article
  • Citations2

A dense and high traffic scenario for vehicular ad hoc network implementation in metro city

  • Oct 01, 2017
  • Indrabayu +2
  • Conference Article
  • Citations1

Wearable D2D Routing Strategies for Urban Disaster Management – A Case Study

  • Jan 01, 2016
  • Dhafer Ben Arbia +3
  • Conference Article
  • Citations3

Spatial Stationarity of Link Statistics in Mobile Ad Hoc Network Modelling

  • Sep 11, 2006
  • S.J Doyle +2
  • Research Article
  • Citations49

Urban pedestrian mobility for mobile wireless network simulation

  • Jan 17, 2008
  • Ad Hoc Networks
  • Kumiko Maeda +5
  • Conference Article
  • Citations4

On the Improvement of Vehicular Macroscopic Mobility Models

  • Sep 01, 2013
  • Fabricio A Silva +4
  • Conference Article
  • Citations8

Using Delaunay triangulation to construct obstacle detour mobility model

  • Jan 01, 2005
  • Dijiang Huang
  • Conference Article
  • Citations31

Understanding Vehicular Mobility in Network Simulation

  • Oct 01, 2007
  • Marco Fiore +3
  • Conference Article
  • Citations9

Urban Connectivity Analysis of VANETs through Stereoscopic Aerial Photography

  • Sep 01, 2009
  • Michel Ferreira +3
  • Conference Article
  • Citations15

Towards a Bidirectional Coupling of Pedestrian Dynamics and Mobile Communication Simulation

  • Dec 10, 2019
  • EPiC series in computing
  • Stefan Schuhbäck +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.