Draft of our Model

The following is a draft for our SPIN model focuses on the 5 properties we are going to check. (The list is only the first draft that is continuously under modification).

OGM’s fields we need to keep track:

  • TTL, with type byte. Initially set to a value in the proposed range, [2, 255]
  • Seq_No, with type short. Initially set to a value in the proposed range, [0, 65535] (take the modulo 2^16 when exceeds the range).
  • Is-Direct-Link_Flag, with type bool. Indication of a direct neighbor or not, initially set to 0.
  • Unidirectional_Flag, with type bool. Indication of the neighboring node is bidirectional or not, initially set to 0.
  • Originator_Address, with type int, set to the IPv4 address interface on which behalf the OGM has been generated.

Continue reading

Advertisements
Posted in Uncategorized | Leave a comment

Formalizing Properties

Top 5 properties we are going to look at in BATMAN:

  1. All OGMs that have entered the network will leave the network after one of the following conditions: every node has received at least one and re-broadcasting stops; they have been lost due to packet loss; their TTL value has expired.

    • This assumes that the TTL value is decremented with each hop in the network .It also assumes that all nodes broadcast an OGM at some point, and all nodes re-broadcast an OGM upon receipt. Finally, this assumes that with some probability packets are lost during the sending of routing messages. Continue reading

Posted in Uncategorized | Leave a comment

Quick Overview on B.A.T.M.A.N.

BATMAN is a proactive routing protocol, which maintains fresh lists of destinations in the network by periodically distributing routing tables throughout the network. The basic strategy for BATMAN is to find the next step to the destination node, but does not concern itself with the entire path to the destination.
Posted in Uncategorized | Leave a comment

A Better Approach to Mobile Ad-Hoc Networking

This links to B.A.T.M.A.N., the network protocol which we have decided to formalize in our semester-long project. The “Agenda” tab above shows the projected outline of our work during the next couple of months, and we will write blog posts to give more detailed descriptions of what we have done.

Posted in Uncategorized | Leave a comment