An 11-router Internet Protocol network model based on the Open Shortest Path First (OSPF) routing protocol and Link State Advertisement (LSA) is expressed in the Specification and Description Language (SDL). The corresponding simulation data to verify the performance of a proposed more efficient OSPF LSA refreshment function is presented. Network traffic generated by the routing table refreshment activity using the new function is compared to the traffic generated in the Internet today when using the existing LSA refreshment function. The relative performance characteristics were found to depend on the number of LSA packets per router and the router startup sequence. Such dependencies when using protocol standards in natural language are not always visible until a number of implementations of the standard become available and tested in the field. SDL and tools provide an inexpensive but reliable way of verifying protocols under development in advance of implementation and final agreement.

-- JasonKealey - 12 Oct 2005


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title OSPF Efficient LSA Refreshment Function in SDL
Authors O. Monkewich, I. Sales, and R. L. Probert
Type Conference
Conference/Journal Title Tenth SDL Forum (SDL'01)
Volume/Number LNCS 2078
Editors R. Reed and J. Reed
Publisher Springer
Month June
Year 2001
Pages 300-315
DOI 10.1007/3-540-48213-X
Keywords performance, specification and description language, protocol verification
Topic revision: r3 - 07 Nov 2009, YanGao
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback