Modeling and Analysis of Bounded Retransmission Protocol in the Ad Hoc Network

In Ad Hoc network,mobile node with limited bandwidth moves frequently and topology changes dynamically.The communication between nodes is dynamically affected by many factors,such as the neighbor probability,channel quality and so on.Based on Probabilistic Model Checking,the Bounded Retransmission Protocol(BRP) in Ad Hoc Network is modeled.Then the influence of channel quality,the number of data frames and the maximum number of retransmission on the communication are analyzed with Probabilistic Model Checking tool-PRISM.The analysis results are helpful to adjust various parameters of protocol according to the different situation in order to improve the performance of the network.