基于VxWorks的复杂道口监控系统软件研究

分析了基于单片机的道口控制系统中存在的问题,结合VxWorks实时多任务操作系统的特点,提出了一种基于VxWorks环境下的道口控制软件的设计方法。针对实际道口的测试结果表明,在VxWorks环境下更容易满足复杂道口控制软件的实时性、多任务的调度要求,并且有利于提高道口的安全性。     

基于VxWorks的计算机联锁控制系统软件研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计.针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性.     

一种新型轨道交通控制用安全关断电路

安全关断电路是轨道交通控制系统中必不可少的组成部分,其性能对轨道交通控制系统的可靠性和安全性有着重要的影响.分析了轨道交通控制系统中安全关断电路的设计要求,在故障-安全设计方法的指导下设计了一种新型的安全关断电路.该电路在满足性能要求的同时满足相关标准的可靠性和安全性要求.所设计的安全关断电路已通过样机测试并准备投入应用.     

基于ARM嵌入式的计算机联锁控制系统研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.基于ARM嵌入式的计算机联锁控制系统可以确保系统可靠性和安全性的实现.利用Linux的实时多任务处理能力,提供系统在分布式环境下实时通信能力.利用源代码公开的特点,保证系统具有良好的可扩展性及性价比.     

基于既有部件的列车运行控制系统安全评估

既有部件用在安全相关的列车运行控制系统之中完成部分系统功能,需要评估其对系统安全性的影响.首先分析既有部件的类型和特点,结合列车运行控制系统安全要求及其证明过程,指出应用既有部件需要解决的问题;然后对系统开发过程中应用既有部件的步骤和安全要求进行分析,提出既有部件的失效控制策略和技术要求;最后分析既有部件安全的证明过程,为基于既有部件的列车运行控制系统安全评估提供建议.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

基于单片机和MODBUS协议的停车器控制系统

针对列车停车器的控制情况,设计一种基于单片机和modbus协议的停车器控制系统。该设计对现有的转辙机控制系统进行改进,通过modbus协议,实现1台主机对多台从机的远程控制和监督,并且可以方便地并入主系统,从而有效地提高系统操作的安全性、方便性及控制效率。     

基于UPPAAL的城市轨道交通CBTC区域控制子系统建模与验证

CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性.CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性.本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型.同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性.     

国产化列车网络控制系统安全完整性技术应用

列车网络控制系统作为对列车各关键系统进行监视、控制、故障诊断的核心设备,其自身的故障或误操作将直接导致列车的严重事故,因此,对于列车网络控制系统提出更高的安全要求是十分有必要的.本文描述了安全完整性等级2级的列车网络控制系统架构及其安全性要求,提出了故障监测技术及相关故障控制方法.     

基于全自动运行的智能站台门控制系统研究

站台门控制系统已在城市轨道交通线路中取得广泛应用，但随着城市轨道交通自动化运行水平的不断提高，国内全自动运行线路逐渐增多，既有站台门控制系统已难以满足全自动运行模式的运营需求。站台门控制系统既要实现与列车门的对位隔离，又要在可靠性和安全性方面满足SIL2的相关要求。针对全自动运行轨道交通线路，设计智能站台门控制系统，实现站台门与列车门的对位隔离，并采用“二取二”设计架构，提高站台门控制系统的可靠性和安全性；同时，支持多种车型混跑的运行场景，满足全自动运行轨道交通线路对站台门控制系统的要求。     

立体车库的刷卡通讯系统设计与实现

应用射频识别技术和语音技术,采用高速8位单片机ATmega128微控制器、GK102射频读写模块和ISD4004语音芯片设计了一种带语音提示功能的立体车库刷卡通讯系统.详细地设计了此刷卡通信系统的硬件电路.分析设计了出入口管理软件算法,并设计了此刷卡器系统的微控制器与读卡器的通讯协议及微控制器与PC机的通讯协议,此系统的应用方便了汽车出入库操作,节省了人力成本.     

RBAC在ATP车载设备管理信息系统中的应用

基于角色的访问控制（RBAC）是保证信息系统资源安全的一种策略。本文详细介绍了RBAC模型,并给出了其形式化定义。将RBAC模型应用于ATP车载设备管理信息系统,设计了该系统访问控制的数据物理模型,实现了该信息系统对关键资源的限制访问。该系统成功地投入使用,表明RBAC模型可有效实现信息系统的权限控制。     

密码技术在铁路信号控制系统中的应用

网络信息安全现已成为我国铁路信号控制系统中急需解决的问题.密码技术提供网络信息安全的解决途径.运用安全Hash算法及数字签名等技术,提高站间自动闭塞系统的通信安全,进一步保证铁路信号控制系统的可靠性.     

基于XML列控系统数据模型建立

统一的数据描述方式在我国列控系统互联互通的发展中起着重要的作用.文章分析了现行列控系统数据交互不足,提出基于XML标记语言来统一我国列控系统、设备数据的构思.在树状数据组织思想的基础上,设计了一种适合我国列控系统的XMLSchema架构,并提出了既有列控系统兼容XML数据的方法.     

基于GIS的高速公路监控管理系统的开发

根据高速公路监控管理系统涉及空间数据的特点,将GIS技术应用到高速公路监控管理系统的开发设计中,建立了适用于高速公路监控管理的专题电子地图,并在该电子地图的基础上对高速公路的监控管理功能进行了设计与实现,开发出了一个实用性强,界面友好和简单易用的高速公路远程监控交通管理系统.     

高速铁路自然灾害及异物侵限监测系统信息安全架构设计和研究

为提高高速铁路自然灾害与异物侵限监测系统（简称:灾害监测系统）安全,保障系统稳定运行,通过分析灾害系统监测面临的安全风险和安全需求,设计了灾害监测系统安全体系架构,结合具体模型和数据处理流程,重点从物理安全、网络安全、主机安全、应用安全和数据安全等不同方面对灾害监测系统软件的安全系统进行设计。应用结果表明,在不降低软件性能条件下,安全架构及设计方案对提高软件安全性有明显效果,可有效地提高灾害监测系统自身安全性。     

基于W5100的以太网通信系统设计

应用射频识别技术,语音技术和以太网技术,采用高速8 bit单片机ATmega32L微控制器和W5100以太网芯片设计了一种带刷卡功能的以太网通讯系统.详细的设计了以太网通信系统的硬件电路.采用模块化软件编程思想,重点介绍了以太网通信模块驱动程序的设计.     

铁路人事系统安全机制分析

根据成都铁路局人事管理系统的安全特点,通过对Lotus Domino/Note安全模型的分析,建立基于其上的铁路局人事信息管理系统安全方案.结合对该方案的讨论分析,详细论述Lotus Domino/Notes安全模型在铁路局人事系统中的应用,从不同角度对应用系统的安全机制进行分类,并针对特定需求制定辅助安全策略.     

台北捷运月台门控制系统设计及实现

介绍地铁月台门系统的构成和功能,针对台北捷运月台门控制系统的中央控制盘、多功能控制盘、简易控制盘特点以及控制系统的功能需求,设计并实现了中央控制盘、多功能控制盘、简易控制盘控制系统,满足台北捷运月台门对控制系统的要求.     

基于嵌入式以太网的区间联锁监控系统

在对传统区间自动闭塞系统研究的基础上,提出将计算机技术和嵌入式Internet技术应用于区间联锁监控系统中.通过采用SX52bd为核心微处理器的网路接口单元,将现场设备(发送、接收设备)与以太网互联,从而实现基于以太网的区间联锁监控系统.