基于唯一标识的ATP车载设备编码方案研究

设备唯一标识是实现ATP车载设备信息化管理和智能维修的前提.在分析国家标准和铁路标准对于设备唯一标识编码的基本原则和特点的基础上,结合ATP设备全路频繁流转的实际需求,提出了适用不同类型的ATP车载设备全路通用唯一标识编码方案.现场试验结果表明,该方案可推广应用于ATP车载设备的全生命周期追踪管理和日常运维.     

CTCS-3级列控系统临时限速建模与验证

为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.      

ATP车载设备管理信息系统数据同步策略研究与实现

本文根据ATP车载设备管理信息系统的特点,分析了该系统对同步策略的各类需求,设计和实现了基于Oacle数据库与MSMQ技术相结合的两层分级数据同步策略RAILS-SYN,保证了数据传输的实时性、一致性和完整性,为系统分级分布式管理的数据同步提供了重要支撑。     

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

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