A Formal Specification and Analysis of the Resource Reservation Protocol

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1999
Accession Number
ADA369656

Entities

People

  • David P. Hensley

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computational Complexity
  • Computations
  • Computer Networks
  • Computer Science
  • Department Of Defense
  • Electronic Commerce
  • Electronic Mail
  • Internet
  • Network Architecture
  • Network Protocols
  • Network Science
  • Routing Protocols
  • Throughput
  • Transport Protocols
  • United States
  • Voice Over Internet Protocol

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Networking