Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management

Abstract:

The IEEE 802.16 standard specifies and describes the air interface of Broadband Wireless Access Systems (BWA) and point-multipoint fixed and mobile wireless metropolitan area networks, and is limited to the description of the Medium Access Control (MAC) and physical (PHY) layers. The MAC is connection-oriented, so some of its functions are related to the connection management. It is being modeled and analyzed using a well-known verification methodology. The methodology includes a service and protocol specification. This paper is focused on the definition, modeling, and analysis of the MAC connection management service specification. A service language including all the possible service primitive sequences was also generated. It is being used as part of the verification process of the connection management protocol.

Año de publicación:

2010

Keywords:

• Primitive service
• FSA
• MAC CPS
• CPNs
• Service language

Fuente:

scopus