Open Collections

UBC Theses and Dissertations

Featured Collection

UBC Theses and Dissertations

Formal specification, simulation, and performance evaluation of a mobile data link protocol using Estelle Chen, Ted Y. G.

Abstract

Communication protocols consists of a set of distributed algorithms which allow two or more communicating entities to exchange information. Typically, these protocols represent one of the seven layers in the Open Systems Interconnection (OSI) Reference Model. Traditionally, protocols approved by international standards organizations, such as the ISO or CCITf, have been defined by a combination of English prose, state tables, and state diagrams. These informal methods, although useful, are imprecise and can lead to ambiguities. Using Estelle, a formal description technique (FDT), protocol specifications can be made clear and free from any ambiguities and provide a standardized manner in which to document protocol operations. Formal methods also provide a foundation for performing protocol validation and implementation, and evaluating protocol efficiency. A brief summary of Estelle constructs and its application in modelling communication protocol elements is presented, and a data link layer protocol, representing layer two of the OSI model, is introduced. This protocol is based on a Type-IT Hybrid ARQ scheme and was designed to provide reliable communications in a mobile radio environment. The mobile data link protocol (MDLP) is formally specified using Estelle. In addition, the MDLP specification is tested for conformance to the informal prose description. Finally, the operation of the MDLP is simulated and a throughput evaluation is performed using a statistical channel model. Moreover, for comparison purposes, throughput results are also obtained for a selective repeat ARQ scheme. The protocol design, testing, and simulation was performed using the Estelle Development Toolset (EDT).

Item Metadata

Title	Formal specification, simulation, and performance evaluation of a mobile data link protocol using Estelle
Creator	Chen, Ted Y. G.
Publisher	University of British Columbia
Date Issued	1993
Description	Communication protocols consists of a set of distributed algorithms which allow two or more communicating entities to exchange information. Typically, these protocols represent one of the seven layers in the Open Systems Interconnection (OSI) Reference Model. Traditionally, protocols approved by international standards organizations, such as the ISO or CCITf, have been defined by a combination of English prose, state tables, and state diagrams. These informal methods, although useful, are imprecise and can lead to ambiguities. Using Estelle, a formal description technique (FDT), protocol specifications can be made clear and free from any ambiguities and provide a standardized manner in which to document protocol operations. Formal methods also provide a foundation for performing protocol validation and implementation, and evaluating protocol efficiency. A brief summary of Estelle constructs and its application in modelling communication protocol elements is presented, and a data link layer protocol, representing layer two of the OSI model, is introduced. This protocol is based on a Type-IT Hybrid ARQ scheme and was designed to provide reliable communications in a mobile radio environment. The mobile data link protocol (MDLP) is formally specified using Estelle. In addition, the MDLP specification is tested for conformance to the informal prose description. Finally, the operation of the MDLP is simulated and a throughput evaluation is performed using a statistical channel model. Moreover, for comparison purposes, throughput results are also obtained for a selective repeat ARQ scheme. The protocol design, testing, and simulation was performed using the Estelle Development Toolset (EDT).
Extent	1474308 bytes
Genre	Thesis/Dissertation
Type	Text
File Format	application/pdf
Language	eng
Date Available	2009-02-23
Provider	Vancouver : University of British Columbia Library
Rights	For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
DOI	10.14288/1.0064801
URI	http://hdl.handle.net/2429/4925
Degree	Master of Applied Science - MASc
Program	Electrical and Computer Engineering
Affiliation	Applied Science, Faculty of; Electrical and Computer Engineering, Department of
Degree Grantor	University of British Columbia
Graduation Date	1994-05
Campus	UBCV
Scholarly Level	Graduate
Aggregated Source Repository	DSpace

Item Media

ubc_1994-0073.pdf -- 1.41MB

Item Citations and Data

Rights

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.