Breadcrumb

 
 

Estelle verification of ATM available bit rate (ABR) control protocol

Title:

Estelle verification of ATM available bit rate (ABR) control protocol

Huang, Weiyuan (2001) Estelle verification of ATM available bit rate (ABR) control protocol. Other thesis, Concordia University.

[img]
Preview
PDF
1369Kb

Abstract

This major report specifies and verifies the ATM Available Bit Rate (ABR) control protocol using a standard network specification language, Estelle. This verification is based on the English description of ABR protocol in the ATM Traffic Management Specification Version 4.0, and the published PEFSM model of ABR protocol. The Estelle simulation model that we used to verify the ATM ABR protocol consists of two identical module instances of network station module. Connections between the two station nodes make a closed-loop feedback control system. We have defined Estelle observers to observe the behavior of the ABR protocol. Seven test cases have been designed and carried out. The results of all these test cases have shown that the protocol meets the functional specification for ABR protocol outlined in the ATM Traffic Management Specification.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Other)
Authors:Huang, Weiyuan
Pagination:vii, 51 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Major reports (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:2001
Thesis Supervisor(s):Atwood, J. W.
ID Code:1351
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:18
Last Modified:08 Dec 2010 10:20
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