Ad hoc routing protocol verification through broadcast abstraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3731 LNCS, Issue , 2005, Pages 128-142

  Wibling, Oskar ^a   Parrow, Joachim ^a   Pears, Arnold ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

DSR; Formal verification; LUNAR; Mobile ad hoc networks; Model checking; Routing protocols; UPPAAL

Indexed keywords

BROADCASTING; COMPUTER SCIENCE; DATA PROCESSING; DIFFERENTIAL SCANNING CALORIMETRY; INFORMATION ANALYSIS; TOPOLOGY; ABSTRACTING; FORMAL VERIFICATION; MOBILE SECURITY; MODEL CHECKING; NETWORK ROUTING; ROUTING PROTOCOLS; TELECOMMUNICATION NETWORKS;

FORMAL VERIFICATIONS; LIGHTWEIGHT UNDERLAY NETWORK AD HOC ROUTING PROTOCOL (LUNAR); LUNAR; MOBILE AD HOC NETWORKS; MOBILE AD HOC NETWORKS (MANETS); MODEL CHECKING; PROPAGATING LOCALIZED BROADCAST WITH DAMPENING (PLBD); ROUTING PROTOCOLS; UPPAAL;

NETWORK PROTOCOLS; MOBILE AD HOC NETWORKS;

AD HOC ROUTING PROTOCOL; DSR; LUNAR; MOBILE ADHOC NETWORK (MANETS); ROUTE DISCOVERY; TOPOLOGY CHANGES; UNDERLAY NETWORKS; UPPAAL;

EID: 33646408756     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562436_11     Document Type: Conference Paper

References (17)

1. Tschudin, C., Gold, R., Rensfelt, O., Wibling, O.: LUNAR: a lightweight underlay network ad-hoc routing protocol and implementation. In: Proc. Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN). (2004)
2. Johnson, D.B., Maltz, D.A., Hu, Y.C.: Internet draft: The dynamic source routing protocol for mobile ad hoc networks (DSR). http://www.ietf.org/ internet-drafts/draft-ietf-manet-dsr-10.txt (2004)
3. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1 (1997) 134-152
4. Wibling, O., Parrow, J., Pears, A.: Automatized verification of ad hoc routing protocols. In: Proc. 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). (2004)
5. Ni, S.Y., Tseng, Y.C., Chen, Y.S., Sheu, J.P.: The broadcast storm problem in a mobile ad hoc network. In: Proc. ACM MobiCom. (1999) 151-162
6. Wibling, O.: LUNAR pseudo code description, http://user.it.uu.se/~oskarw/ lunar_pseudo_code/(2005)
7. Xiao, Y., Rosdahl, J.: Throughput and delay limits of IEEE 802.11. IEEE Communications Letters 6 (2002) 355-357
8. Lundgren, H.: Implementation and Experimental Evaluation of Wireless Ad Hoc Routing Protocols. Phd thesis, Uppsala University (2005)
9. Chiyangwa, S., Kwiatkowska, M.: A timing analysis of AODV. In: Proc. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference (FMOODS). (2005)
10. Perkins, C.E., Royer, E.M.: Ad hoc on-demand distance vector routing. In: Proc. 2nd IEEE Workshop on Mobile Computing Systems and Applications. (1999) 90-100
11. Obradovic, D.: Formal Analysis of Routing Protocols. Phd thesis, University of Pennsylvania (2002)
12. Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts (2003)
13. University of Cambridge Computer Laboratory: Automated reasoning group HOL page, http://www.cl.cam.ac.uk/Research/HVG/HOL/ (2005)
14. Das, S., Dill, D.L.: Counter-example based predicate discovery in predicate abstraction. In: Formal Methods in Computer-Aided Design, Springer-Verlag (2002)
15. de Renesse, R., Aghvami, A.: Formal verification of ad-hoc routing protocols using SPIN model checker. In: 12th Mediterranean Electrotechnical Conference (IEEE MELECON). (2004)
16. Xiong, C., Murata, T., Tsai, J.: Modeling and simulation of routing protocol for mobile ad hoc networks using colored Petri nets. In: Proc. Workshop on Formal Methods Applied to Defence Systems in Formal Methods in Software Engineering and Defence Systems. (2002)
17. Xiong, C., Murata, T., Leigh, J.: An approach to verifying routing protocols in mobile ad hoc networks using Petri nets. In: Proc. IEEE 6th GAS Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication. (2004)