MOTION (MOdeling and simulaTIng mObile ad-hoc Networks) is an evironment aimed at simulating formal models of Mobile Ad-hoc NETworks (MANET). The formalization is exploited using Abstract State Machines (ASM).
Overview
MOTION is a Java application with a very simple graphical control interface for allowing the modeler to specify the simulation parameters, to choose and execute the model of the behavior to study and to collect the data obtained by the simulation. It is based upon ASMETA , in the sense that the ASMs modeling the behavior under study are simulated within the simulator AsmetaS, included into the ASMETA framework. Currently, three routing protocols for MANET have been modeled: Ad-hoc On-demand Distance Vector (AODV), and two its variants: NACK-based AODV (N-AODV) and Blackhole-free N-AODV (BN-AODV)
Download
The MOTION Project is also available at SourceForge
Contact
Alessandro Bianchi: alessandro [dot] bianchi [at] uniba [dot] it
Gianluca Gennaro Bevilacqua: gianlucabevilacqua [dot] 93 [at] gmail [dot] com