• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Analysis of Proactive, Distributed Routing

Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre, Formal Analysis of Proactive, Distributed Routing. In: Radu Calinescu, Bernhard Rumpe (Eds.), 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Lecture Notes in Computer Science 9276, 175–189, Springer, 2015.

Abstract:

As (network) software is such an omnipresent component of contemporary mission-critical systems, formal analysis is required to provide the necessary certification or at least formal assurances for these systems. In this paper we focus on modelling and analysing the Optimised Link State Routing (OLSR) protocol, a distributed, proactive routing protocol. It is recognised as one of the standard ad-hoc routing protocols for Wireless Mesh Networks (WMNs). WMNs are instrumental in critical systems, such as emergency response networks and smart electrical grids. We use the model checker Uppaal for analysing safety properties of OLSR as well as to point out a case of OLSR malfunctioning.

BibTeX entry:

@INPROCEEDINGS{inpKaHxKaPe15a,
  title = {Formal Analysis of Proactive, Distributed Routing},
  booktitle = {13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings},
  author = {Kamali, Mojgan and Höfner, Peter and Kamali, Maryam and Petre, Luigia},
  volume = {9276},
  series = {Lecture Notes in Computer Science},
  editor = {Calinescu, Radu and Rumpe, Bernhard},
  publisher = {Springer},
  pages = {175–189},
  year = {2015},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication