随着通信、计算机网络和分布式控制系统的发展，作为其关键部分的通信协议也变得日益复杂化。C语言的方法已经不能满足需求。形式化描述技术(FormalDescriptionTechniques，FDT)为开发者提供了一种高效的开发方法，它可以无歧义地描述目标系统，而且清晰、易懂。另外，基于此技术的语言可以从描述目标系统结构、行为和通信的图形化模型自动生成一些底层的代码(如：C等)。再者，设计者还可以对基于图形方式的系统进行仿真和验证，大大增强了系统的质量和代码的可维护性、可重用性。 规范描述语言(SpecificationandDescriptionLanguage，SDL)是由ITU-T发展和标准化的一种形式化描述语言，是一种高层的用于事件驱动、实时和通信系统的描述语言，嵌入式通信软件的开发是它主要应用领域中的一个。使得设计者在产品生命周期的各个阶段将精力放在相关的部分上，对于其它的方面可以暂时搁置，提高了开发的效率、缩短了开发的时间。 本论文定义的目标系统框架、用SDL所设计的协议、板级支持包以及RTOS的移植都已经完成仿真验证和通过实际硬件平台的在片验证。论文中提出的基于SDL的嵌入式系统的设计方法和开发流程具有普遍的适用性，能够应用于各种协议栈的开发，具有很高的参考价值。