安全计算机平台相关论文
现有轨道交通安全计算机平台板卡监控模块存在通用性低、监控信息不全面和处理器资源消耗大等问题.对此,文章提出了一种轨道交通安......
自主研发的基于通信的列车运行控制(Communications-Based Train Control, CBTC)系统的地面安全计算机平台采用二乘二取二冗余结构......
摘要：安全计算机平台是轨道交通信号控制系统的核心基础安全设备,通过测试来检验安全计算机平台是否能实现设计的安全功能是至关重......
二十一世纪以来,轨道交通系统(包括地铁,有轨电车等)越来越成为缓解城市交通压力的重要工具.轨道交通系统具有高速度,大容量,高效......
本文描述了轨道交通信号系统安全计算机平台的可靠性设计,实现了安全计算机平台主备冗余功能,即当主系发生故障时,能够无缝切换到......
硬件配置工具软件是安全计算机平台生成硬件配置数据的工具软件,介绍了硬件配置工具的应用及软件设计方案。通过解析各硬件模块的......
基于模型检验的测试序列生成及优化方法，在描述符号模型检验原理和 CTL （计算树逻辑， Computation Tree Logic）覆盖标准的基础上，通过分......
本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件（FPGA）和时钟级同步2取2结构的安全输入/输出（安......
本文主要对无线闭塞中心进行仿真研究,通过建立CTCS-3级列控系统仿真测试平台,实现安全计算机平台的设计。......
由于轨道交通信号系统具有安全苛责性要求,因此信号设备安全计算机平台双通道通常采用相异算法.介绍了几种编译环境的优缺点,通过......
在安全计算机平台中,设计安全可靠的镜像远程在线更新软件,采用可变端口号TFTP协议,实现了下位机通信单元的远程通信和并行转发;结......
为了满足城市轨道交通对于轨旁安全计算机平台的通用技术需求,介绍了一种安全计算机平台的总体架构、安全原理和设计实现。该平台......
为解决TSP系统在使用过程中可能出现的U盘位反转问题,提出了一种U盘文件冗余方案。本文描述了U盘位反转的原理,以及在发生位反转时......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
双机热备平台是一种广泛应用的安全计算机平台，它要求严格的安全性及可靠性。针对传统的产生双机热备平台测试序列方法所存在的不足......
城市规模越来越大,现代化程度越来越高,但其交通拥堵情况却日渐严重。此时城市轨道交通以其快捷、安全、准时和节能等特点迅速成为......
介绍一种2乘2取2架构的轨旁安全计算机平台iBase22-TSP,该平台为卡斯柯公司全自主研发并通过了SIL4级欧标认证,应用于城轨CBTC信号......
二乘二取二冗余结构是车载列车自动防护(ATP)系统安全计算机的技术趋势。针对二乘二取二系统中的双机同步问题,采用公共外时钟为二......
为了构建CTCS-3级列控系统仿真测试平台,进行了无线闭塞中心(RBC)仿真研究。针对无线闭塞中心的安全需求,提出安全计算机平台设计......
随着安全苛求系统在铁路、航空航天、工业控制等领域应用得越来越广泛,安全计算机技术的发展越来越受到人们的重视,已经形成了一个......
<正>浙江浙大网新集团有限公司承担的"应用于轨道交通列控系统的安全计算机核心技术的引进与合作开发"项目,通过与德国BBR公司在轨......
介绍一种基于安全继电器的主备切换板。两个继电器前后节点互相串接实现互斥,不得同时吸起。当安全平台系间通信双通道均断开时,系......
针对目前我国缺乏符合功能安全完整性等级SIL3的高安全嵌入式实时操作系统产品、自主的安全计算机平台和控制器核心产品这一问题,......
