A formal specification and analysis of the resource reservation protocol
Hensley, David P.
Gilbert M. Lundy.
MetadataShow full item record
This thesis explores the practicality of using the Resource ReSerVation Protocol (RSVP) model to prove quality of service guarantees over networks. An overview of the requirements to provide quality of service is provided. Using Finite State Machine analysis, the RSVP protocol is formally specified and found to be suitable for reserving resources along a proposed path. However, the distributed nature of the RSVP model and its reliance on quality of service aware routing protocols is problematic. Several examples where RSVP provides less than optimal and/or incorrect results are studied. The framework for alternate model of proving quality of service is proved. This model uses a centralized server for flow path computation. The server-based approach provides more accurate results than the RSVP model and is capable of network optimization; yet it places fewer strains on network resources and appears easier to implement.
Showing items related by title, author, creator and subject.
Irvine, Cynthia E.; Levin, Timothy E. (Monterey, California. Naval Postgraduate School, 1999); NPS-CS-00-005We examine the concept of security as a dimension of Quality of Service in distributed systems. We provide a discussion and examples of user- specified security variables and show how the range of service levels associated ...
Muir, William A. ;The need for reform in the Department of Defenseâ s (DoD) acquisition and management of services acquisitions has been recently highlighted by the Government Accountability Office and by top leadership within the DoD ...
Drummond, John. (Monterey, California: Naval Postgraduate School, 2002., 2002-06);The substantial complexity and strict requirements of distributed command and control systems creates an environment that places extreme demands upon system resources. Furthermore, inconsistent resource distribution also ...