Copyright © 1997 Published by Elsevier Science B.V.
Formalization and validation of the Radio Link Protocol (RLP1)*1
Accepted 29 August 1996.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper describes the formalization and validation of the Radio Link Protocol (RLP1) and the effect of the validation on its standardization. RLP1, which was recently standardized by the Telecommunications Industry Association (TIA) working group, TR45.3.2 (TDMA Cellular Systems Data Services Working Group), appears to be the first protocol that was standardized using a formal language, namely SDL, and validated before publication. The validation strategy used for RLP1 is discussed, along with some observations on the requirements of industrial strength validation tools to aid the standardization process. This paper also discusses the use of SDL as a language for specifying standards, noting some of its advantages, disadvantages, and shortcomings. It then argues that a suite of accepted formal notations is necessary to formalize the many different parts of a protocol standard.
Author Keywords: Protocol validation; Specification; Formal methods; SDL; Promela/SPIN; Radio link protocol; Standardization







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)





