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

Implementation of Radio Communication Protocol Stack Using FDT

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

It is effective and dependable to use FDT in development of communication protocol and system engineer.Tak-ing 220B for example,this article in troduces how to use MSC,SDL,TTCN for specifying,simulating,validatin g,testing and implementing the protocol stack.Fi nally the implementaion of protocol stack in a platform is introduced.