Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

In G. Rosu, editor, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, ENTCS 238(3), pages 249-266. Elsevier, 2009. © Elsevier

Abstract: The Enhanced Interior Gateway Routing Protocol (EIGRP) is an advanced distance-vector routing protocol, with optimizations to minimize both the routing instability incurred after topology changes, as well as the use of bandwidth and processing power in the router. This paper presents an executable specification using the rewriting logic based language Maude, that allows to connect several running instances of the protocol and on top of which concrete applications can be executed. The protocol is also modeled in Real-Time Maude, which allows to formally analyze it in several ways.

[pdf]

@inproceedings{RiescoVerdejo08,
	Author = {Adri\'an Riesco and Alberto Verdejo},
	Booktitle = {Proceedings of the Seventh International Workshop on 
	             Rewriting Logic and its Applications, WRLA 2008},
	Editor = {Grigore Ro\c{s}u},
	Number = {3},
	Pages = {249-266},
	Publisher = {Elsevier},
	Series = {Electronic Notes in Theoretical Computer Science},
	Title = {Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol},
	Volume = {238},
	Year = {2009}}