可配置安全通信协议栈的设计

依据IEC 62280:2014标准并考虑车载ATP与ZC、多普勒雷达、人机接口、BTM之间的通信协议,设计了一种可用于城轨CBTC各子系统间通信的可配置协议栈。本协议栈提供了多种安全校验机制,在通信异常发生时,具有故障—安全的能力。

基于FPGA的速度信号测量

为了减少CPU在进行速度信号测量时的资源占用率以及降低软件复杂度,设计某型车载设备时使用了FPGA(现场可编程门阵列,Field Programmable Gate Array)辅助CPU进行速度及相关信息的测量。研究发现该方案既具有很好的精度,又极大地减轻了此过程的CPU的占用率。

单元测试码重构方法在安全相关软件中的应用

结合目前软件单元测试技术的研究现状,本文对提高软件单元测试质量和效率的测试模式及方法进行了深入的分析和研究,提出了包括如何命名单元测试用例以便交流出其测试意图、如何更有效地进行单元测试组件之间的依赖隔离及如何验证被测单元的间接输出以提高代码行为覆盖率等测试码重构方法,并给出了相应的技术措施和具体应用。

防危核技术在列控车载设备软件中的应用研究

阐述了防危核的基本原理及优势,详细分析了防危核在列控车载设备软件中的应用,通过模拟列控车载设备模式转换外部条件对防危核的验证功能及资源消耗进行了测试,可有效提升复杂控制系统的安全性和可用性,有广阔的运用前景。

列控车载设备仿真试验系统的研究与实现

针对列控车载设备仿真试验的需求,通过分析其运行环境,提出了列控车载设备仿真试验系统的总体技术方案和实现方法。通过具体项目实践证明,该系统各仿真功能全面、有效,能够为CTCS-0级至CTCS-2级列控车载设备提供完整性好、仿真程度高的综合试验、验证环境。

基于VxWorks操作系统的POWERLINK研究与实现

介绍一种新型实时以太网通信协议——POWERLINK的工作原理和性能特点,为了能够在Vx Works操作系统下实现POWERLINK,重点描述了该协议栈向Vx Works平台移植的设计思路和软件实现,包括协议栈的绑定、定时模块的设置和中断服务程序的处理等。最后对移植的程序进行通信性能测试,体现了POWERLINK的大负载、高实时性和高可靠性的特点。

LKJ设备运行监测系统技术实现

主要以LKJ设备运行监测系统(LMD)的2个核心技术(定位功能,传输功能)和四大核心模块(设备监测、运行监测、版本监测、作业监测)为基础,阐述LMD系统的基本结构及系统与电务段车载设备生产管理平台的业务融合关系以及系统功能及其运用,对系统采取的信息安全措施进行了说明。该系统已在几个铁路局得到推广应用,降低了事故率。

CMD系统防护记录器的设计

轨道交通的一些车载设备自带的记录单元由于防护能力不足,可能会在事故中被损坏,造成记录数据丢失,而且各设备记录时间不一致、分析软件不统一,加大了用户分析难度。针对上述问题,在CMD系统中基于IEC 62625标准设计了防护记录器,将多种车载设备的数据按统一时钟记录在具有防火、防冲击振动、防液体浸泡等防护性能的数据存储单元中,能有效地防止记录数据丢失或损坏,并且通过统一的地面分析软件实现了对机车运行状态的综合分析。

基于CPLD的多电源上电时序的控制设计

随着高速数字信号的快速发展,对集成多核和高速接口的处理器的电源的上电时序的设计则越来越重要,严格的上电时序保证了器件免受损坏和进入良好的工作状态;基于CPLD的多电源上电时序的控制设计则更加可靠、稳定、精确。

一种结合企业管理模式的信息化平台开发方案

信息化系统的开发根据企业办公需要,可选择B/S或C/S模式,开发语言可选择网络扩展性很强的ASP或ASP.NET+SQL开发。该文选择B/S模式,开发语言采用ASP+SQL组合。以此为基础提出一种能够与企业实际情况相符合的信息化平台开发方案。

CTCS-2级列控车载设备自动测试系统研究

列控车载设备作为列车运行的安全防护设备,其功能缺陷将引发严重后果,为尽可能发现列控车载设备的功能缺陷,对其进行充分、完整的测试是必不可少的,本文介绍了CTCS-2级列控车载设备自动测试系统的系统组成及测试原理,相比人工测试,自动测试最大程度的减少了测试中的不确定因素,能够最大程度的验证CTCS-2列控车载设备的安全性、可靠性。

基于需求管理工具的软件文档追溯管理

轨道交通软件作为SL4级别的高安全型软件,其软件开发过程需要生成相应的证据,显示其输出可追踪至相应的活动及输入。在软件开发流程和安全验证管理中,本文对软件生命周期的文档通过提取文档结构的追溯矩阵对应ID,私有定制正则表达式在需求管理工具中进行文档追溯管理。通过定制报告生成软件文档上下追溯管理报告。满足安全认证标准EN 50128:2011/IEC62279:2015对高安全性软件追溯性的要求。

应用ETDFA生成CBTC联锁软件形式化模型的方法

CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。

基于词语法分析的测试场景解析

针对信号设备测试的复杂性,提出一种基于词法语法分析的测试场景自动解析方法,并对该方法的原理和流程进行了描述。实际应用表明,该方法相对于传统测试方法具备测试脚本格式简单,新增或修改测试场景不必重新编译测试控制软件,测试脚本具有可复用性等优点,能显著提升测试效率。

浅谈企业控制存货,解决供需平衡的方法

企业控制存货、解决供需平衡的问题非常复杂,本文结合自己的工作实际就此方面发表看法,提出预防思路。

轨道交通车载设备的屏蔽效能改进及分析

本论文阐述了轨道交通车载设备所面临的电磁波干扰问题,并以提高设备屏蔽效能为目的介绍了改善机箱模块屏蔽的方式,确保轨道交通车载设备能够在实际运用中正常工作。

浅谈会计职业判断对会计信息质量的影响

企业会计信息需要通过会计职业判断,来反映不断出现的新情况,合理恰当的职业判断有助于提高会计信息的可靠性和有效性。这就要求会计人员在许多方面需要运用专业理论知识和实践经验进行判断,才能对发生的经济活动进行恰当的处理,才能合理有效地反映企业的财务状况与经营成果。本文分析会计职业判断对会计信息质量的影响,提出提高会计职业判断能力的几点思路。