DocumentCode
2290609
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
fYear
1994
fDate
8-10 Jun 1994
Firstpage
554
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Vehicular Technology Conference, 1994 IEEE 44th
Conference_Location
Stockholm
ISSN
1090-3038
Print_ISBN
0-7803-1927-3
Type
conf
DOI
10.1109/VETEC.1994.345065
Filename
345065
Link To Document