Analysis of an Efficient Dynamic Probability Broadcasting Algorithm Based on Probabilistic Model Checking
Broadcasting is a common operation in Ad Hoc networks.The efficiency of broadcasting algorithm can dramatically affect the performance of the entire network.Based on dynamic probability broadcasting(DP)algorithm,border-node-first dynamic probability broadcasting(BN-DP)algorithm is presented.The influence of nodes density,package counter and distance between sender and receiver on the performance of broadcasting algorithm is considered in BN-DP algorithm.Nodes located at the radio border of the sender are set with higher rebroadcast probability.Analyses with PRISM reveal that BN-DP algorithm operates more efficiently than the FP(fixed probability)algorithm and DP algorithm do.With the same reachability,it saves more rebroadcasts and reduces overheads.