Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
OSPF: Anatomy of an Internet Routing Protocol
OSPF: Anatomy of an Internet Routing Protocol
SDL design of OSPF protocol for the wireless private network
SDL'05 Proceedings of the 12th international conference on Model Driven
Modeling route change in soft-state signaling protocols using SDL: a case of RSVP
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |
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.