铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique ...铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。展开更多
铁路信号安全通信技术为计算机联锁提供了新的通信场间联系方式,也为区域联锁提供了新的应用。计算机联锁设备接入客专安全环网,通过采用铁路信号安全协议RSSP(Railway Signal Safety Protocol),实现与客运车站多个设备的数据传输,信息...铁路信号安全通信技术为计算机联锁提供了新的通信场间联系方式,也为区域联锁提供了新的应用。计算机联锁设备接入客专安全环网,通过采用铁路信号安全协议RSSP(Railway Signal Safety Protocol),实现与客运车站多个设备的数据传输,信息共享。展开更多
文摘铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。