Login | Register

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.

[thumbnail of MQ72944.pdf]
Preview
Text (application/pdf)
MQ72944.pdf
3MB

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 > Gina Cody School 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:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:2002
Thesis Supervisor(s):Atwood, J. W
Identification Number:TK 5105.55 S66 2002
ID Code:1804
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:22
Last Modified:13 Jul 2020 19:50
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

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top