Login | Register

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


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.

Text (application/pdf)


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 > Gina Cody School 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
Thesis Supervisor(s):Atwood, J. W.
ID Code:1351
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:18
Last Modified:18 Jan 2018 17:16
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

Back to top Back to top