Specification, verification and simulation of a wireless LAN protocol: MACAW

Author

Lundy, G.M. ; Almquist, M. ; Oruk, T.

Author_Institution

US Naval Postgraduate Sch., Monterey, CA, USA

Volume

2

fYear

1998

fDate

18-21 Oct 1998

Firstpage

565

Abstract

A formal specification and verification of a wireless LAN protocol is given, and a simulation of the protocol´s performance is also described. The verification is a partial verification in that it does not include a general verification of all possible configurations of the protocol; however, it does cover the expected usage of the protocol, which is for a small number of users sharing a cell. The simulation provides further insight into the protocol, especially concerning its performance. Based on the verification and simulation, some suggestions are made which can improve the protocol´s performance

Keywords

access protocols; digital simulation; formal specification; formal verification; performance evaluation; wireless LAN; MACAW; cell sharing; formal specification; formal verification; medium access/collision avoidance; partial verification; protocol performance; simulation; wireless LAN protocol; Access protocols; Base stations; Computer networks; Formal specifications; Microwave communication; Satellite broadcasting; Telephony; Wireless LAN; Wireless application protocol; Wireless communication;

fLanguage

English

Publisher

ieee

Conference_Titel

Military Communications Conference, 1998. MILCOM 98. Proceedings., IEEE

Conference_Location

Boston, MA

Print_ISBN

0-7803-4506-1

Type

conf

DOI

10.1109/MILCOM.1998.722191

Filename

722191