An SDL methodology used for specifying the radio protocols in a CDMA system

The paper describes the methodology used for specifying, analysing, simulating, validating and implementing the radio protocols for a CDMA testbed of the future Universal Mobile Telecommunication System (UMTS). The specification methodology is based on the ITU-T guidelines for the use of the specification and description language (SDL). >