集成了传感器、嵌入式计算、网络和无线通信四大技术而形成的无线传感器网络是一种全新的信息获取和处理技术,它是一种新型的无基础设施的无线网络,能够实现实时监测、感知和采集各种环境和监测对象的信息,并对其进行处理,传送到需要这些信息的用户。无线传感器网络是一种新型的应用型网络,具有十分广阔的应用前景,引起了学术界和工业接的高度重视,成为当前热门的研究领域。无线传感器网络因为不依赖于固定的基础设施,所以网络节点具有自组织能力。网络节点需要一个基础的协议为各种路由协议、传输层协议提供服务,而构成整个无线传感器网络基石的就是MAC层协议。本文对无线传感器MAC层协议及其关键技术进行了简单的介绍,综合分析了MAC层协议的基本功能。进而对MAC层协议中的CSMA—CA传输机制进行了分析,通过SDL语言进行了仿真及测试。另外,文中还对协议一致性测试进行了描述。最后研究了基于SDL和MSC的MAC层协议仿真实体的实现。我们采用Telelogic AB Tau的产品SDL and TTCN Suite 4.4作为开发工具。SDL and TTCN Suite 4.4是一个集仿真、开发、测试于一体的软件工具,完全满足MAC协议开发和一致性测试的需求。以此为基础,详细描述了基于SDL语言的MAC层控制和服务机制的设计和实现,并对下一步的研究方向进行了阐述。