Title :
Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks
Author :
Câmara, D. ; Loureiro, A.A.F. ; Filali, F.
Author_Institution :
Fed. Univ. of Minas Gerais, Belo Horizonte
Abstract :
This paper describes a technique to apply formal methods to verify protocols for mobile ad hoc networks. In contrast to other related proposals, our solution does not attempt to model any particular network configuration. Instead, our solution focuses on the possible implications caused by network configurations to the behavior of a routing protocol for MANETs. Following this strategy we were able to find design errors in some well established protocols. The proposed technique uses formal verification, more specifically model checking, to detect, in a simple way, problems such as routing loops, delivery message failures and errors in the protocol state machine.
Keywords :
ad hoc networks; formal verification; mobile radio; routing protocols; formal verification; message failure delivery; mobile ad hoc wireless network; model checking; protocol state machine; routing protocol; Computer errors; Computer networks; Computer science; Formal verification; Mathematics; Mobile ad hoc networks; Network topology; Proposals; Routing protocols; Wireless networks;
Conference_Titel :
Global Telecommunications Conference, 2007. GLOBECOM '07. IEEE
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4244-1042-2
Electronic_ISBN :
978-1-4244-1043-9
DOI :
10.1109/GLOCOM.2007.137