Improved Recovery for Proactive, Distributed Routing

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.