【摘 要】
:
基于通信的列车控制(Communications Based Train Control,CBTC)系统,通信协议是整个系统安全的基础,也是各子系统间可靠地进行数据通信的保证。为了保证网络中各实体间能够
论文部分内容阅读
基于通信的列车控制(Communications Based Train Control,CBTC)系统,通信协议是整个系统安全的基础,也是各子系统间可靠地进行数据通信的保证。为了保证网络中各实体间能够可靠、正确地通信,必须根据通信协议规范对协议进行一致性测试。因此,对CBTC系统通信协议的一致性测试成为协议测试的研究重点。本文在研究CBTC系统通信协议的规范和相关文档的基础上,进一步研究了一致性测试技术的不同理论方法,结合CBTC系统通信协议的特点,采用UIO_E (Extended Unique Input/Output Sequences)算法和扩展有限状态机(Extended Finite State Machine,EFSM)的建模方法,对CBTC系统通信协议的一致性测试进行了研究。本文介绍了CBTC系统通信协议的基本原理;根据CBTC系统通信协议的特点以及EFSM建模方法,建立了CBTC通信协议的EFSM模型;分析了FSM与EFSM模型一致性测试的序列生成算法;根据通信协议的需求及特点,提出了基于UIO_E算法和EFSM模型的CBTC通信协议测试序列的生成算法,并生成了CBTC通信协议的一致性测试序列;最后,按照生成的测试序列,对CBTC系统通信协议的被测实现(Implementation Under Test,IUT)进行一致性测试,并对测试结果进行分析,一致性结果判决表明协议实现达到了协议规范的需求。
其他文献
认知无线电技术的出现是未来解决频谱资源高度紧张的最有效的方式。它充分体现了对频谱资源的最大程度的利用,可以变相的扩大频率空间。搭建一个认知无线电的实验平台不仅具
基于转发件与控制件分离(ForCES)架构的路由器能很好地满足新一代网络对路由设备的需求。为了提高ForCES路由器的通信性能,本文对ForCES路由器内部通道流控技术进行深入研究
MIMO技术可以在不增加频谱的情况下,极大提高频谱利用率,因而近十年得到了广泛的研究,并在LTE以及IMT-ADVANCED等系统中得到应用。口前,关于MIMO的研究主要还是侧重在物理层和无
数据卡作为基于HSDPA技术的终端设备,可以在3G网络覆盖的任意地方接入Internet,是移动通信和互联网技术的完美结合。传统的数据卡语音功能方案存在语音质量低、制造成本高等
随着多媒体技术的发展,视频技术的应用越来越广泛,人们对视频通信的实时性和图像的高分辨率要求越来越高。H.264/AVC作为新一代的视频压缩编码标准支持高分辨率的视频编码,编
无线mesh网络作为一种新型的无线接入网络,因其部署方便快捷、成本低、覆盖范围广、可扩展性强等优点成为近年来的研究热点。随着无线电技术的发展,多射频多信道技术应用到无
波形设计是雷达系统的一个重要研究内容,交替发射正交编码信号是雷达抗干扰的一个重要手段。本论文主要讨论了正交编码信号的优化算法,脉冲压缩旁瓣抑制方法及信号的多普勒预补
数据库系统是当今社会信息存储和处理的核心,其安全性尤为重要。访问控制作为主要的安全策略,是实现较高安全等级数据库管理系统的必要条件。作为实施了强制访问控制策略的多
声矢量传感器能够同时测量声场空间某点处的声压信息和质点振速信息,与传统的声压传感器相比,可以获得声场中更多的信息,有效改善水声系统的性能。矢量传感器及其阵列信号处