An even better approach: improving the B.A.T.M.A.N. protocol through formal modelling and analysis

Ansgar Fehnker*, Kaylash Chaudhary, Vinay Mehta

*Corresponding author for this work

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

1 Citation (Scopus)

Abstract

This paper considers a network routing protocol known as Better Approach to Mobile Adhoc Networks (B.A.T.M.A.N.). The protocol has two aims: first, discovery of all bidirectional links, and second, identification of the best-next-hop to the other nodes. A key mechanism of the protocol is to flood the network at regular intervals with so-called originator messages.

In previous work we formalised the B.A.T.M.A.N. protocol in Uppaal and found several ambiguities and inconsistencies [2]. More importantly, explicit choices in the RFC had, unfortunately, a negative impact on route discovery. This previous work compared a literal model based of the RFC with an incremental improvement. This paper goes one step further and proposes an alternative that departs from the RFC. We compare the performance using simulations in Uppaal, for static as well as dynamic topologies. The analysis shows that the proposed alternative reduces the number of suboptimal routes significantly, and recovers better from routing errors that are introduced by mobility.
Original languageEnglish
Title of host publicationNASA Formal Methods
Subtitle of host publication10th International Symposium, NFM 2018 Newport News, VA, USA, April 17–19, 2018 Proceedings
EditorsAaron Dutle, César Muñoz, Anthony Narkawicz
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pages164-178
Number of pages15
ISBN (Electronic)9783319779355
ISBN (Print)9783319779348
DOIs
Publication statusPublished - 2018
Externally publishedYes
Event10th International Symposium on NASA Formal Methods 2018, NFM 2018 - Newport News, United States
Duration: 17 Apr 201819 Apr 2018

Publication series

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

Conference

Conference10th International Symposium on NASA Formal Methods 2018, NFM 2018
Country/TerritoryUnited States
CityNewport News
Period17/04/1819/04/18

Fingerprint

Dive into the research topics of 'An even better approach: improving the B.A.T.M.A.N. protocol through formal modelling and analysis'. Together they form a unique fingerprint.

Cite this