Design and implementation of 802.11 medium access control protocol using SDL

Specification and Description Language (SDL) is a high abstraction level system design language that provides graphical presentation form. Protocol design using this formal language ensures the compatibility between the requirements of the initial design and the final implementation. It reduces the design time by isolating the implementation details at the beginning. The flexibility of enhancement to the initial design is also able to achieve during the whole development cycle. Design methodology using SDL is proposed for the implementation of our 802.11 medium access control (MAC) protocol. This paper defines the chosen methodology and establishes the reason of using this formal language. The functional correctness of our SDL implementation is simulated and verified using commercial development tools. The results of our preliminary implementation in the target system show consistency with the simulated model.