SDR (Software Defined Radio)自90年代提出以来,它便在无线通信领域受到了广泛的关注。SDR是要将在硬件上实现的功能尽可能的搬移到软件上来实现,使一个硬件系统可以完成多种应用。然而,一方面受到物理设备的限制,一方面由于系统设计的复杂性,SDR成功的例子并不是很多,或者说该技术仍处于开发阶段。本文正是从系统设计的角度出发,建立系统的CSP||B模型以降低系统设计的复杂性。CSP||B是进程代数CSP(Communicating Sequential Processes)和正则化方法B的联合,综合两者的优点于一体。CSP基于动态的观点来描述系统,描述的主要元素是进程和事件;而B方法则是基于静态的观点来描述系统,描述的主要元素是状态和操作。融合了这两种观点的CSP||B,可以很清晰的描述一个复杂系统,同时还有专门的软件可以帮设计者分析和验证该系统。DQPSK (Differential Quadrature Phase Shift Keying)作为数字调制方式中的一种在无线通信系统中得到广泛应用,因而本文选取它作为研究对象。本文首先对DQPSK调制解调原理进行了分析,然后在此基础上建立了它的CSP||B模型,并分析和验证该模型是否存在死锁或者活锁。接下来对SDR系统进行了描述并选取了一个接收频率范围为360MHz到960MHz,发射频率范围为262MHz到438MHz或者523MHz到876MHz,中频频率为30MHz,带宽为5MHz或者20MHz的SDR平台。根据CSP||B模型,在此平台上实现了一个DQPSK调制子系统和一个DQPSK解调子系统,并对这两个子系统进行了测试。