The EIGRP Protocol in Maude

Technical report SIC-3/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, April 2007.

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. We show here an executable speciÞcation using the rewriting logic based language Maude, that allows us to connect several Maude instances, each one running the protocol and on top of which concrete applications can be executed. We also simulate the protocol by using Real-Time Maude, that allows us to formally analyze it in several ways.

[pdf]

@techreport{eigrp-tr,
	Author = {Adri\'an Riesco and Alberto Verdejo},
	Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
	Month = {April},
	Note = {\url{http://maude.sip.ucm.es/eigrp}},
	Number = {SIC-3/07},
	Title = {The {EIGRP} Protocol in {Maude}},
	Year = {2007}}