论文部分内容阅读
针对IEEE802.11MAC协议层固化于专用芯片难以改动的问题,采用形式化的协议开发方法,使用SDL语言的图形化描述方法对协议进行模块化和层次化的设计,实现了一个开放式IEEE802.11MAC层协议,满足了高速移动场合下的宽带无线通信对MAC层进行优化修改的需求.使用SDL开发工具,对其进行了语法语义分析及仿真,结果表明,设计的SDL系统状态逻辑正确,实现了IEEE802.11MAC层功能。