Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Authors:
Adrián Riesco;Alberto Verdejo
Affiliations:
Facultad de Informática, Universidad Complutense de Madrid, Spain;Facultad de Informática, Universidad Complutense de Madrid, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 11
Cited 3

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Loop-free routing using diffusing computations

IEEE/ACM Transactions on Networking (TON)
Model checking

Model checking
Rewriting logic and Maude (invited speaker): a wide-spectrum semantic framework for object-based distributed systems

Fourth International Conference on Formal methods for open object-based distributed systems IV
Computer Networks

Computer Networks
Exploring adaptability of secure group communication using formal prototyping techniques

ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
A Distributed Implementation of Mobile Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed applications implemented in maude with parameterized skeletons

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Formal simulation and analysis of the CASH scheduling algorithm in real-time maude

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

Models of Rate Restricted Communication for Concurrent Objects

Electronic Notes in Theoretical Computer Science (ENTCS)
A high performance optimal dynamic routing algorithm with unicast multichannel QoS guarantee in communication systems

The Journal of Supercomputing
Timed CTL model checking in real-time maude

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications

Quantified Score

Hi-index	0.00

Visualization

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.