Title :
Simulation of broadband multiple access protocols for wireless networks
Author_Institution :
Dept. of Electr. & Comput. Eng., Maryland Univ., College Park, MD, USA
Abstract :
This paper describes the simulation of two broadband multiple access protocols. The protocols are modeled using OPNET. A formal verification for one of the protocols is also provided. The simulation models and verification procedures will be useful for network designers who wish to understand the operation of the two protocols
Keywords :
access protocols; broadband networks; cellular radio; discrete event simulation; formal verification; multi-access systems; multimedia communication; packet radio networks; telecommunication traffic; OPNET; broadband multiple access protocols; formal verification; network design; simulation models; wireless networks; Access protocols; Communication system traffic control; Identity-based encryption; Multimedia communication; Personal communication networks; Radio frequency; Telecommunication traffic; Traffic control; Wireless communication; Wireless networks;
Conference_Titel :
Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on
Conference_Location :
College Park, MD
Print_ISBN :
0-7695-0381-0
DOI :
10.1109/MASCOT.1999.805044
