• DocumentCode
    3732245
  • Title

    Improved Recovery for Proactive, Distributed Routing

  • Author

    Mojgan Kamali;Luigia Petre

  • Author_Institution
    Turku Centre for Comput. Sci., Abo Akademi Univ., Turku, Finland
  • fYear
    2015
  • Firstpage
    178
  • Lastpage
    181
  • Abstract
    The Optimised Link State Routing (OLSR) protocol is a proactive, ad-hoc distributed routing protocol for Wireless Mesh Networks (WMNs). In this paper we demonstrate that by introducing a new type of message for this protocol (namely an ERROR message), the recovery time for routing in the presence of random link failures decreases. We illustrate our findings via formal model checking experiments in Uppaal. Decreased recovery time is essential for, e.g., emergency response networks and other critical WMNs.
  • Keywords
    "Network topology","Routing","Automata","Routing protocols","Topology","Safety"
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems (ICECCS), 2015 20th International Conference on
  • Type

    conf

  • DOI
    10.1109/ICECCS.2015.27
  • Filename
    7384243
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3732245