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

Formally Analyzing Proactive, Distributed Routing

Mojgan Kamali, Maryam Kamali, Luigia Petre, Formally Analyzing Proactive, Distributed Routing. TUCS Technical Reports 1125, TUCS, 2014.

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 assurance for these systems’ properties. In this paper we focus on modelling and analysing a distributed, proactive routing protocol named Optimised Link State Routing (OLSR), recognised as the standard ad-hoc routing protocol for Wireless Mesh Networks (WMN). WMNs are instrumental in critical systems, such as emergency response networks and smart electrical grids. We employ Uppaal model checking for analysing safety properties of OLSR as well as to point out a case of OLSR malfunctioning.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tKaKaPe14a,
  title = {Formally Analyzing Proactive, Distributed Routing},
  author = {Kamali, Mojgan and Kamali, Maryam and Petre, Luigia},
  number = {1125},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2014},
}

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

Edit publication