Wireless Standards such as ANSI-41 and WIN are dynamic in nature, continuously evolving to meet subscriber requirements with ever shorter intervals for standards development. The current timelines at which a new version of the specification is to be completed to the needed level of precision, quality and completeness cannot be accommodated using existing specification techniques. A key assumption is that future standards work must apply techniques that can be automated. The use of formal documentation techniques using commercial tools will shorten the standards development cycle, introduce a formal test methodology, and assist in rapid validation and verification, harmonization, and evolution of ANSI-41/WIN standards. This paper begins with an introduction of certain relevant documentation techniques. The techniques utilized for the creation of ANSI-41 and the Wireless Intelligent Network (WIN) standard are examined and analyzed. This is used to identify opportunities to utilize documentation techniques to enhance ANS1- 41/WIN standards development from an efficacy and timeliness perspective. The requirement to develop global capabilities and services to support third generation wireless networks provides further challenges, necessitating a fundamental change in the specification techniques used in the future.
- Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.
| Title || Accelerating Wireless Intelligent Network Standards Through Formal Techniques |
| Authors || J. Hodges and J. Visser |
| Type || Conference |
| Conference/Journal Title || IEEE 1999 Vehicular Technology Conference (VTC'99), Houston, Texas, USA |
| Volume/Number || |
| Editors || |
| Publisher || |
| Month || - |
| Year || 1999 |
| Pages || |
| DOI || 10.1109/VETEC.1999.778276 |
| Keywords || Formal Techniques, Wireless Intelligent Networks, Use Case Maps, LOTOS, SDL, MSC, TTCN |