Home // International Journal On Advances in Networks and Services, volume 17, numbers 1 and 2, 2024 // View article

Simulation of Mobile Ad-hoc NETworks' Protocols

Authors:
Emanuele Covino

Keywords: Ad-hoc On-demand Distance Vector; Abstract State Machines; Mobile ad-hoc networks; Mobile computing; Social network analysis.

Abstract:
We introduce MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a tool for the definition and simulation of some protocols for mobile networks; among them, the well known Ad-hoc On-demand Distance Vector (AODV). Protocols’ definitions are based on the Abstract State Machine formal model, and their simulations are performed within the ASM mETAmodeling framework (ASMETA). Moreover, we suggest that some protocols for mobile networks could be used to provide a formal definition of social structures and to analyze the related properties.

Pages: 1 to 10

Copyright: Copyright (c) to authors, 2024. Used with permission.

Publication date: June 30, 2024

Published in: journal

ISSN: 1942-2644