Complutense University Library

The EIGRP Protocol in Maude

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

[img]
Preview
PDF
228kB
View download statistics for this eprint

==>>> Export to other formats

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 specification 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.


Item Type:Article
Uncontrolled Keywords:EIGRP, distributed applications, formal analysis, Maude, Real-Time Maude
Subjects:Sciences > Computer science > Computer networks
ID Code:6503
Deposited On:06 Nov 2007
Last Modified:06 Feb 2014 07:48

Repository Staff Only: item control page