Adaptive formal framework for WMN routing protocols

Mojgan Kamali*, Ansgar Fehnker*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

2 Citations (Scopus)


Wireless Mesh Networks (WMNs) are self-organising and self-healing wireless networks that provide support for broadband communication without requiring fixed infrastructure. A determining factor for the performance and reliability of such networks is the routing protocols applied in these networks. Formal modelling and verification of routing protocols are challenging tasks, often skipped by protocol designers. Despite some commonality between different models of routing protocols that have been published, these models are often tailored to a specific protocol which precludes easily comparing models. This paper presents an adaptive, generic and reusable framework as well as crucial generic properties w.r.t. system requirements, to model and verify WMN routing protocols. In this way, protocol designers can adapt the generic models based on protocol specifications and verify routing protocols prior to implementation. This model uses Uppaal SMC to identify the main common components of routing protocols, capturing timing aspect of protocols, communication between nodes, probabilities of message loss and link breakage, etc.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication15th International Conference, FACS 2018 Pohang, South Korea, October 10–12, 2018 Proceedings
EditorsKyungmin Bae, Peter Csaba Ölveczky
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Number of pages21
ISBN (Electronic)9783030021467
ISBN (Print)9783030021450
Publication statusPublished - 2018
Externally publishedYes
Event15th International Conference on Formal Aspects of Component Software 2018, FACS 2018 - Pohang, Korea, Republic of
Duration: 10 Oct 201812 Oct 2018

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference15th International Conference on Formal Aspects of Component Software 2018, FACS 2018
Country/TerritoryKorea, Republic of


Dive into the research topics of 'Adaptive formal framework for WMN routing protocols'. Together they form a unique fingerprint.

Cite this