Publication:
The EIGRP Protocol in Maude

Thumbnail Image
Files
tr-eigrp.pdf (222.89 KB)
Official URL
Full text at PDC
Publication Date
2007-04
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM
Research Projects
Organizational Units
Journal Issue
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.
Description
UCM subjects
Redes
Unesco subjects
Keywords
Citation
URI
https://hdl.handle.net/20.500.14352/52663
Collections
Artículos