Jun 06, 2017: Mojgan Kamali: Formal Analysis of Network Routing Protocols

June 06, 2017Formal Analysis of Network Routing Protocols
Room: Hal B 2BMojgan Kamali

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. We focus on modelling and analysing the two of the standard ad-hoc routing protocols for Wireless Mesh Networks (WMNs), namely Optimised Link State Routing (OLSR) and Ad-hoc On-demand Distance Vector (AODV) routing protocols. WMNs are instrumental in critical systems, such as emergency response networks, public safety, etc. We use the Uppaal model checker (MC) to analyse safety properties of OLSR as well as Uppaal Statistical Model Checker (SMC) to compare different evolutions of AODV w.r.t. performance and looping property.