Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz

2018

Abstract

Fast-converging routing protocols are necessary in order to keep up with the interconnected world we are living in and one of the quickest ones is EIGRP. In this paper, we are going to design two models for network devices running EIGRP by focusing on the main events happening on them. First, a non-timing model is going to be formally described, hence just studying the aforesaid main events without any time constraints. Then, a timing model is going to extend the former with the proper time values associated with each particular event. Both models are going to be formally described by means of manual algebraic derivations using Algebra of Communicating Processes (ACP).

Paper Citation

in Harvard Style

Roig P., Alcaraz S., Gilly K. and Juiz C. (2018). Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol.In Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-323-0, pages 259-266. DOI: 10.5220/0006838802590266

in Bibtex Style

@conference{simultech18,
author={Pedro Juan Roig and Salvador Alcaraz and Katja Gilly and Carlos Juiz},
title={Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol},
booktitle={Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2018},
pages={259-266},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006838802590266},
isbn={978-989-758-323-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol
SN - 978-989-758-323-0
AU - Roig P.
AU - Alcaraz S.
AU - Gilly K.
AU - Juiz C.
PY - 2018
SP - 259
EP - 266
DO - 10.5220/0006838802590266