一种自动生成联锁表的实现方法

介绍一种联锁表自动生成的实现方法,分3部分进行论述,即进路信息搜索、进路相关信息搜索、联锁表的实现,对每一部分都给出具体步骤和相应的流程图。     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

铁路信号安全协议RSSP的研究

铁路信号安全协议（RSSP）是应用于铁路信号安全设备接口的安全通信协议。给出了应用RSSP设备间的以太网通信网络结构,描述了RSSP-Ⅰ的接口结构与功能特点,及RSSP-Ⅱ的层次结构与功能特点,提出了RSSP的基本实现方法,论述了RSSP在热备结构的设备中的同步方法。     

联锁系统应用软件的验证

联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件.主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动.总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验.     

EN50128在铁路信号安全软件测试中的应用研究

随着列车的不断提速,铁路信号系统作为保障机车车辆安全有序作业的重要安全设备,其软件的可靠性和安全性直接影响列车的运行安全,对铁路信号安全软件的测试就显得至关重要。通过借鉴欧洲铁路的安全相关技术,以铁路控制和防护系统软件标准EN50128为指导,重点论述了标准中软件测试各阶段的活动情况及独立性的体现,并对此标准在铁路信号安全软件测试过程中的应用进行了分析和研究。     

符合SIL4级要求的计算机联锁系统开发

计算机联锁系统是保证行车安全的重要铁路信号设备。当前国内铁路快速发展对计算机联锁系统提出了更高的要求,为此CENELEC系列标准引入到计算机联锁系统的开发过程中。开发出符合SIL4级要求的计算机联锁系统,并阐述了作者对欧洲铁路安全标准的一些认识和思考。     

城际铁路信号系统通信控制服务器(CCS)的ISDN服务器设计

在城际铁路信号系统中,通信控制服务器CCS是地面中心控制设备的重要组成部分,完成车-地通信、列车运行计划传输和车-地屏蔽门联控功能。ISDN服务器是CCS与车载ATP进行车-地无线信息传输的媒介,具有较高的可靠性和安全性。为此,分析CCS基本功能及ISDN服务器在CCS中的作用,介绍ISDN服务器的软硬件结构,描述ISDN服务器的通信功能模块CFM,设计CFM的层次结构、接口与流程。