Formal description of a mobile data link protocol using Estelle

An efficient mobile data link protocol (MDLP) based on a selective repeat Type II hybrid automatic repeat request scheme, using convolutional coding and code combining, is described in Estelle. Formal specifications are more complete and precise than descriptions in traditional methods such as natural language. A formalized description method provides a basis for performing testing and implementation, resulting in increased reliability of the protocol, reduced development time, and lower cost of implementation. Issues of specification, testing/verification, and implementation of the MDLP are discussed