基于UPPAAL的TD-SCDMA随机接入过程的形式化建模与分析

摘要

对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,如何提高接入效率仍然是一个关键性技术.TD-SCD-MA的随机接入过程是由数据链路层支持的移动终端接入规则.通过随机延迟,该过程降低了接入碰撞的概率,进而提高接入效率.通过对TD－SCDMA协议的随机接入过程的形式化描述，本文给出了其基于时间自动机的系统模型。利用实时模型检测工具UPPAAL的系统验证和仿真，我们讨论和分析了影响整个系统接入性能的三个因素：移动终端的个数，最大随机延迟重试次数和随机延迟的时间设定。