Stepwise Assertional Design of Distance-Vector Routing Algorithms

Loading...
Thumbnail Image

Files

CS-TR-2869.1.ps (369.67 KB)
No. of downloads: 247
CS-TR-2869.1.pdf (316.49 KB)
No. of downloads: 1028

Publication or External Link

Date

1998-10-15

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