Title :
An SDL methodology used for specifying the radio protocols in a CDMA system
Author :
Berruto, Ermanno ; Brännlund, Tomas ; Gustafsson, Jan ; Schott, Wolfgang
Author_Institution :
CSELT, Torino, Italy
Abstract :
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)
Keywords :
carrier sense multiple access; formal specification; formal verification; land mobile radio; network operating systems; open systems; specification languages; telecommunication network management; CDMA system; ITU-T guidelines; SDL methodology; Universal Mobile Telecommunication System; radio protocols; specification and description language; specification methodology; 3G mobile communication; Access protocols; Communication system control; Laboratories; Media Access Protocol; Mobile communication; Multiaccess communication; Open systems; Radio control; System testing;
Conference_Titel :
Vehicular Technology Conference, 1994 IEEE 44th
Conference_Location :
Stockholm
Print_ISBN :
0-7803-1927-3
DOI :
10.1109/VETEC.1994.345065
