English

Formalising the Optimised Link State Routing Protocol

Networking and Internet Architecture 2020-04-29 v1 Logic in Computer Science
Authors: Ryan Barry , Rob van Glabbeek , Peter Höfner
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise and verifiable descriptions of protocols. In this paper we use the timed process algebra T-AWN for modelling the Optimised Link State Routing protocol (OLSR) version 2.

Keywords

network protocol

Cite

@article{arxiv.2004.13285,
  title  = {Formalising the Optimised Link State Routing Protocol},
  author = {Ryan Barry and Rob van Glabbeek and Peter Höfner},
  journal= {arXiv preprint arXiv:2004.13285},
  year   = {2020}
}

Comments

In Proceedings MARS 2020, arXiv:2004.12403

Related papers

View all related →
Networking and Internet Architecture · Computer Science
Formal Models of the OSPF Routing Protocol
Jack Drury, Peter Höfner, Weiyou Wang
2020-04-29
Networking and Internet Architecture · Computer Science
DREAM_OLSR PROTOCOL (Distance Routing Effective Algorithm for Mobility - Optimized Link State Routing)
Gurpreet Singh Saini, Ashish Kots, Manoj Kumar
2013-05-15
Neural and Evolutionary Computing · Computer Science
Intelligent OLSR Routing Protocol Optimization for VANETs
Jamal Toutouh, José García-Nieto, Enrique Alba
2025-01-17
Networking and Internet Architecture · Computer Science
Modelling and Verifying the AODV Routing Protocol
Rob van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
2016-08-11
Networking and Internet Architecture · Computer Science
A Rigorous Analysis of AODV and its Variants
Peter Höfner, Rob van Glabbeek, Wee Lum Tan, Marius Portmann +2
2015-12-31
Networking and Internet Architecture · Computer Science
Security Issues in the Optimized Link State Routing Protocol Version 2 (OLSRV2)
Ulrich Herberg, Thomas Clausen
2010-07-15
Networking and Internet Architecture · Computer Science
Routing in Mobile Ad-Hoc Networks using Social Tie Strengths and Mobility Plans
Riten Gupta, Niyant Krishnamurthi, Uen-Tao Wang, Tejaswi Tamminedi +1
2017-05-25
Logic in Computer Science · Computer Science
A Timed Process Algebra for Wireless Networks
Emile Bres, Rob van Glabbeek, Peter Höfner
2016-06-14
Networking and Internet Architecture · Computer Science
An Online Learning Approach to Shortest Path and Backpressure Routing in Wireless Networks
Omer Amar, Kobi Cohen
2022-04-08
Networking and Internet Architecture · Computer Science
Modeling and Evaluating Performance of Routing Operations in Proactive Routing Protocols
D. Mahmood, N. Javaid, U. Qasim, Z. A. Khan +3
2013-09-18
Networking and Internet Architecture · Computer Science
QoS Routing and Performance Evaluation for Mobile Ad Hoc Networks using OLSR Protocol
Mohamed Amnai, Youssef Fakhri, Jaafar Abouchabaka
2011-07-20
Networking and Internet Architecture · Computer Science
Modeling Routing Overhead Generated by Wireless Proactive Routing Protocols
Nadeem Javaid, Ayesha Bibi, Akmal Javaid, Shahzad A. Malik
2016-11-17
Networking and Internet Architecture · Computer Science
Speed-Aware Routing for UAV Ad-Hoc Networks
Stefano Rosati, Karol Kruzelecki, Louis Traynard, Bixio Rimoldi
2013-07-25
Networking and Internet Architecture · Computer Science
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver +2
2013-12-31
Networking and Internet Architecture · Computer Science
Routing Load of Route Calculation and Route Maintenance in Wireless Proactive Routing Protocols
D. Mahmood, N. Javaid, U. Qasim, Z. A. Khan
2016-11-15
Cryptography and Security · Computer Science
A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol
Suvansh Lal
2011-01-11
Networking and Internet Architecture · Computer Science
Simulation and Performance Analysis of MP-OLSR for Mobile Ad hoc Networks
Jiazi Yi, Eddy Cizeron, Salima Hamma, Benoît Parrein
2009-03-02
Programming Languages · Computer Science
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
Hubert Garavel
2026-04-08
Networking and Internet Architecture · Computer Science
Implementation of Multipath and Multiple Description Coding in OLSR
Jiazi Yi, Eddy Cizeron, Salima Hamma, Benoît Parrein +1
2009-03-02
Networking and Internet Architecture · Computer Science
Introducing Large Language Models into the Design Flow of Time Sensitive Networking
Rubi Debnath, Luxi Zhao, Mohammadreza Barzegaran, Sebastian Steinhorst
2025-10-02
Optimization and Control · Mathematics
An Optimization Framework for Power Infrastructure Planning
Nina Wiedemann, David Adjiashvili
2021-02-02
Software Engineering · Computer Science
Designing Software with Complex Configurations
Alcino Cunha
2024-07-19
Networking and Internet Architecture · Computer Science
Preprocess your Paths -- Speeding up Linear Programming-based Optimization for Segment Routing Traffic Engineering
Alexander Brundiers, Timmy Schüller, Nils Aschenbruck
2024-08-27
Networking and Internet Architecture · Computer Science
Conceptual Framework of Redundant Link Aggregation
Rafiullah Khan, Shaukat Ali
2013-05-14
Networking and Internet Architecture · Computer Science
RRO: A Regularized Routing Optimization Algorithm for Enhanced Throughput and Low Latency with Efficient Complexity
David Zenati, Tzalik Maimon, Kobi Cohen
2024-07-29
R2 v1 2026-06-23T15:08:34.921Z