Elektronika ir Elektrotechnika (Aug 2018)

Study on OSPF Algebraic Formal Modelling Using ACP

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

DOI
https://doi.org/10.5755/j01.eie.24.4.21484
Journal volume & issue
Vol. 24, no. 4
pp. 77 – 83

Abstract

Read online

OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of Communicating Processes (ACP) axioms. The aim of this detailed model is to get a realistic approach of OSPF dynamics by applying the timers involved and by describing the full Link State Advertisement (LSA) exchange process. DOI: http://dx.doi.org/10.5755/j01.eie.24.4.21484

Keywords