Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs

Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio

Abstract

The present paper proposes a variant of the Ad-hoc On-demand Distance Vector (AODV) routing protocol for Mobile Ad-hoc NETworks (MANETs) by means of an Abstract State Machine (ASM)-based model. The variant introduces a new unicast message, which makes each host aware about the network topology more quickly than in the original AODV.

References

  1. Agrawal, D. and Zeng, Q. (2003). Introduction to Wireless and Mobile Systems. Thomson Brooks/Cole.
  2. Benczúr, A., Glässer, U., and Lukovszki, T. (2003). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. In Börger, E., Gargantini, A., and Riccobene, E., editors, Abstract State Machines, volume 2589, pages 204-217. Springer.
  3. Bianchi, A. and Pizzutilo, S. (2010). Studying MANET through a Petri Net-Based Model. In 2th International Conference of Evolving Internet, pages 220-225.
  4. Bianchi, A. and Pizzutilo, S. (2013). A Coloured Nested Petri Nets Model for Discussing MANET Properties. International Journal of Multimedia Technology, 3(2):38-44.
  5. Börger, E. and Stärk, R. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag.
  6. Delzanno, G., Sangnier, A., and Zavattaro, G. (2010). Parameterized Verification of Ad Hoc Networks. In 21th International Conference of Concurrency Theory, pages 313-327.
  7. Farahbod, R., Gervasi, V., and Glässer, U. (2007). CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae, 77(1-2):71-103.
  8. Gurevich, Y. (2000). Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic, 1(1):77-111.
  9. Höfner, P., van Glabbeek, R., Tan, W., Portmann, M., McIver, A., and Fehnker, A. (2012). A Rigorous Analysis of AODV and its Variants. In 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pages 203-212.
  10. Lakshmi, K., Priya, S. M., Jeevarathinam, A., Rama, K., and Thilagam, K. (2010). Modified AODV Protocol against Blackhole Attacks in MANET. International Journal of Engineering and Technology, 6(2):444- 449.
  11. Lanjewar, A. and Gupta, N. (2013). Optimizing Cost, Delay, Packet Loss and Network Load in AODV Routing Protocol. International Journal of Computer Science and Information Security, 4(11).
  12. Nakhaee, A., Harounabadi, A., and Mirabedini, J. (2011). A Novel Communication Model to Improve AODV Protocol Routing Reliability. In 5th International Conference on Application of Information and Communication Technologies, pages 1-7.
  13. Németh, Z. (2002). Definition of a Parallel Execution Model with Abstract State Machines. Acta Cybernetica, 15(3):417-455.
  14. Perkins, C., Belding-Royer, E., and Das, S. (2003). Ad-hoc On-Demand Distance Vector (AODV) Routing. RFC 3561, http://tools.ietf.org/html/rfc3561.
  15. Singh, A., Ramakrishnan, C., and Smolka, S. (2010). A Process Calculus for Mobile Ad Hoc Networks. In 10th International Conference on Coordination Models and Languages, pages 440-469.
Download


Paper Citation


in Harvard Style

Bianchi A., Pizzutilo S. and Vessio G. (2014). Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs . In Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014) ISBN 978-989-758-036-9, pages 500-505. DOI: 10.5220/0005105305000505


in Bibtex Style

@conference{icsoft-ea14,
author={Alessandro Bianchi and Sebastiano Pizzutilo and Gennaro Vessio},
title={Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs},
booktitle={Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014)},
year={2014},
pages={500-505},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005105305000505},
isbn={978-989-758-036-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2014)
TI - Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs
SN - 978-989-758-036-9
AU - Bianchi A.
AU - Pizzutilo S.
AU - Vessio G.
PY - 2014
SP - 500
EP - 505
DO - 10.5220/0005105305000505