Stepwise Assertional Design of Distance-Vector Routing Algorithms

Thumbnail Image
Files
CS-TR-2869.1.ps(369.67 KB)
No. of downloads: 246
CS-TR-2869.1.pdf(316.49 KB)
No. of downloads: 1025
Publication or External Link
Date
1998-10-15
Authors
Alaettinoglu, Cengiz
Shankar, A. Udaya
Advisor
Citation
DRUM DOI
Abstract
There are many kinds of distance-vector algorithms for adaptive routing in wide-area computer networks, ranging from the classical Distributed Bellman-Ford to several recent algorithms that have better performance. However, these algorithms have very complicated behaviors and their analyses in the literature has been incomplete (and operational). In this paper, we present a stepwise assertional design of a recently proposed distance-vector algorithm. Our design starts with the Distributed Bellman-Ford and goes through two intermediate algorithms. The properties established for each algorithm hold for the succeeding algorithms. The algorithms analyzed here are representative of various internetwork routing protocols. (Also cross-referenced as UMIACS-TR-92-39.1)
Notes
Rights