基于FDT技术的无线通信协议实现方法

利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件平台上进行实现。