Breadcrumb

 
 

Specification and validation of the common signalling transport protocol in SDL

Title:

Specification and validation of the common signalling transport protocol in SDL

Song, Xingguo (2002) Specification and validation of the common signalling transport protocol in SDL. Masters thesis, Concordia University.

[img]
Preview
PDF
3443Kb

Abstract

The Resource reSerVation Protocol (RSVP) version 1 is the dominant Internet protocol for signaling Quality of Service (QoS) requirements. It has been extended for use in a wide variety of Internet signaling applications, such as traffic engineering and label distribution. However, the multiple features of the extended RSVP increase its complexity, and interactions among the features could cause confusion. In addition, due to the constraints of the original architecture, it is difficult to specify requirements for new Internet applications, such as mobile IP. The Internet Engineering Task Force has mandated discussion of a new Internet Signaling Protocol Suite (ISPS). One proposal coming from this discussion is the Internet Draft "A Two-level Architecture for Internet Signaling". It proposes a Common Signaling Transport Protocol (CSTP), concentrating on state management and reliable data delivery, coupled with separate Application Layer Signaling Protocols, which implement the features of individual signaling applications. Starting from the English specification of CSTP in the Internet Draft, a specification of CSTP has been written in the formal specification language SDL, and validated for several scenarios, which were based on the typical operation of RSVP version 1. Several errors have been found in the original specification, and solutions to these problems have been proposed.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Song, Xingguo
Pagination:xiv, 103 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:2002
Thesis Supervisor(s):Atwood, J. W
ID Code:1804
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:22
Last Modified:08 Dec 2010 10:22
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer