Topology-Based Mobility Models for Wireless Networks

  • Ansgar Fehnker
  • Peter Höfner
  • Maryam Kamali
  • Vinay Mehta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8054)


The performance and reliability of wireless network protocols heavily depend on the network and its environment. In wireless networks node mobility can affect the overall performance up to a point where, e.g. route discovery and route establishment fail. As a consequence any formal technique for performance analysis of wireless network protocols should take node mobility into account. In this paper we propose a topology-based mobility model, that abstracts from physical behaviour, and models mobility as probabilistic changes in the topology. We demonstrate how this model can be instantiated to cover the main aspects of the random walk and the random waypoint mobility model. The model is not a stand-alone model, but intended to be used in combination with protocol models. We illustrate this by two application examples: first we show a brief analysis of the Ad-hoc On demand Distance Vector (AODV) routing protocol, and second we combine the mobility model with the Lightweight Medium Access Control (LMAC).


Wireless Network Time Slot Mobile Node Transmission Range Mobility Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Basu, P., Redi, J., Shurbanov, V.: Coordinated flocking of UAVs for improved connectivity of mobile ground nodes. In: MILCOM 2004, pp. 1628–1634. IEEE (2004)Google Scholar
  2. 2.
    Bettstetter, C., Hartenstein, H., Pérez-Costa, X.: Stochastic properties of the random waypoint mobility model. Wireless Networks 10(5), 555–567 (2004)CrossRefGoogle Scholar
  3. 3.
    Bulychev, P., David, A., Larsen, K., Mikučionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: Statistical model checking for priced timed automata. In: Wiklicky, H., Massink, M. (eds.) Quantitative Aspects of Programming Languages and Systems. EPTCS, vol. 85, pp. 1–16. Open Publishing Association (2012)Google Scholar
  4. 4.
    Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. In: Wireless Communications & Mobile Computing (WCMC 2002), pp. 483–502 (2002)Google Scholar
  5. 5.
    Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 295–315. Springer, Heidelberg (2012)Google Scholar
  6. 6.
    Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., Tan, W.L.: Automated analysis of AODV using UPPAAL. In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 173–187. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Fehnker, A., van Hoesel, L., Mader, A.: Modelling and verification of the LMAC protocol for wireless sensor networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 253–272. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Ghassemi, F., Ahmadi, S., Fokkink, W., Movaghar, A.: Model checking mANETs with arbitrary mobility. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol. 8161. Springer, Heidelberg (2013)Google Scholar
  9. 9.
    Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 132–150. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Groenevelt, R., Altman, E., Nain, P.: Relaying in mobile ad hoc networks: the Brownian motion mobility model. Wireless Networks 12(5), 561–571 (2006)CrossRefGoogle Scholar
  11. 11.
    van Hoesel, L., Havinga, P.: A lightweight medium access protocol (LMAC) for wireless sensor networks: Reducing preamble transmissions and transceiver state switches. In: Networked Sensing Systems, INSS 2004, pp. 205–208. Society of Instrument and Control Engineers (SICE) (2004)Google Scholar
  12. 12.
    van Hoesel, L.: Sensors on speaking terms: schedule-based medium access control protocols for wireless sensor networks. Ph.D. thesis, University of Twente (2007)Google Scholar
  13. 13.
    McGuire, M.: Stationary distributions of random walk mobility models for wireless ad hoc networks. In: Mobile Ad Hoc Networking and Computing (MobiHoc 2005), pp. 90–98. ACM (2005)Google Scholar
  14. 14.
    Perkins, C., Royer, E.: Ad-hoc On-Demand Distance Vector Routing. In: 2nd IEEE Workshop on Mobile Computing Systems and Applications, pp. 90–100 (1999)Google Scholar
  15. 15.
    Roy, R.R.: Handbook of Mobile Ad Hoc Networks for Mobility Models. Springer (2011)Google Scholar
  16. 16.
    Song, L., Godskesen, J.C.: Probabilistic mobility models for mobile and wireless networks. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 86–100. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Tschirner, S., Xuedong, L., Yi, W.: Model-based validation of qos properties of biomedical sensor networks. In: Embedded Software (EMSOFT 2008), pp. 69–78. ACM (2008)Google Scholar
  18. 18.
    Wibling, O., Parrow, J., Pears, A.N.: Automatized verification of ad hoc routing protocols. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 343–358. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Yoon, J., Liu, M., Noble, B.: Random waypoint considered harmful. In: Joint Conference of the IEEE Computer and Communications (INFOCOM 2003). IEEE (2003)Google Scholar
  20. 20.
    Younes, H.: Verification and Planning for Stochastic Processes with Asynchronous Events. Ph.D. thesis, Carnegie Mellon University (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Ansgar Fehnker
    • 1
  • Peter Höfner
    • 2
    • 3
  • Maryam Kamali
    • 4
    • 5
  • Vinay Mehta
    • 1
  1. 1.University of the South PacificFiji
  2. 2.NICTAAustralia
  3. 3.University of New South WalesAustralia
  4. 4.Turku Centre for Computer Science (TUCS)Finland
  5. 5.Åbo Akademi UniversityFinland

Personalised recommendations