ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Computer Networks and ISDN Systems
Volume 29, Issue 3, February 1997, Pages 357-372
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (1475 K)

  E-mail Article   
  Add to my Quick Links   
Bookmark and share in 2collab (opens in new window)
Request permission to reuse this article
  Cited By in Scopus (0)
 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0169-7552(96)00102-X    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1997 Published by Elsevier Science B.V.

Formalization and validation of the Radio Link Protocol (RLP1)*1

Michael J. FergusonE-mail The Corresponding Author

INRS-Télécommunications, Université du Québec, Montréal, PQ, Canada

Accepted 29 August 1996. 
Available online 12 May 1998.

Purchase the full-text article



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

Article Outline

• References

 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.