A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols

—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop and validate. As a consequence, the protocols are designed on the basis of heuristics and then their performance is evaluated in a network simulator. To the best of our knowledge, virtually no attention has been paid in developing a formal framework that provides an analytical insight into the behavior and performance of such algorithms. The lack of formal treatment of Nature-inspired routing protocols is often criticized in the networking community. In this paper we propose a formal framework that helps in analyzing a Nature-inspired routing protocol, BeeHive. We have verified the correctness of our model by comparing its estimated values with the results obtained from extensive network simulations. An important outcome of the work is that the estimated and measured values only differ by a small deviation. We...

• Type: Conference
• Year: 2007
• Where: CEC
• Authors: Saira Zahid, Muhammad Shahzad, Syed Usman Ali, Muddassar Farooq
• Keywords: Artificial Intelligence, CEC 2007, Formal Framework, Nature-inspired Routing Protocol, Routing Protocol