Huang, Weiyuan (2001) Estelle verification of ATM available bit rate (ABR) control protocol. Other thesis, Concordia University.
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)|
|Pagination:||vii, 51 leaves : ill. ; 29 cm.|
|Degree Name:||Major reports (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Atwood, J. W.|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 17:18|
|Last Modified:||08 Dec 2010 15:20|
Repository Staff Only: item control page