Download now Free registration required
In this paper, the authors describe mobile network & mobile ad hoc networking technology. Moreover, they discuss generation of mobile network and a lean and efficient routing protocol for wireless ad hoc networks. They report on its implementation, on performance comparisons and on a formal validation result. Moreover, they discuss Formal Protocol Verification and operating over infrared or Bluetooth. This paper evaluates two model checking tools, SPIN and UPPAAL, using the verification of the Ad hoc Routing protocol as a case study. Insights are reported in terms of identifying important modeling considerations and the types of ad hoc protocol properties that can realistically be verified.
- Format: PDF
- Size: 333.5 KB