Paper Info
Title
A Scalable Formal Framework for Analyzing the Behavior of Nature-Inspired Routing Protocols
Abstract
Nature-inspired routing algorithms for fixed networks is an active area of research. In these algorithms, ant-or bee-agentsare deployed for collecting the state of a network and providing them to autonomousand fully distributedcontrollers at each network node. In these routing systems the agents, through local interactions, self-organize to produce system-level behaviors which show adaptivity to changes and perturbations in the network environment. The formal modeling of such fully self-organizing, distributedand adaptiverouting systems is a difficult task. In this paper, we propose a scalable formal framework that has following desirable features: (1) it models important performance metrics: throughput, delay and goodness of links, (2) it is scalable to any size of topology, (3) it is robust to changing network traffic conditions. The proposed framework is utilized to model a well-known BeeHiveprotocol which is further validated on NTTNeT (a 57 node topology). To the best of our knowledge, this is the first formal framework that has been validated on such a large topology.
Year
DOI
Venue
2008
10.1007/978-3-540-87700-4_112
PPSN
Keywords
Field
DocType
large topology,formal modeling,proposed framework,nature-inspired routing protocols,network environment,scalable formal framework,fixed network,node topology,formal framework,network traffic condition,network node,adaptive routing,routing protocol,self organization
Multipath routing,Link-state routing protocol,Computer science,Hierarchical routing,Static routing,Routing domain,Computer network,Routing table,Geographic routing,Routing protocol,Distributed computing
Conference
Volume
ISSN
Citations 
5199
0302-9743
0
PageRank 
References 
Authors
0.34
7
3
Name
Order
Citations
PageRank
Muhammad Shahzad100.34
Saira Zahid2543.45
Muddassar Farooq3122183.47