一种基于场景模型的安全性分析算法研究

为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术.传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错.本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性.通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性.与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑.     

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

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

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

模型驱动开发在安全苛求系统中的应用

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。     

铁路车站计算机联锁软件研究与设计

计算机联锁是铁路车站的重要系统之一,主要是控制列车在站内的安全运行。联锁系统分硬件和软件系统,联锁逻辑运算模块是计算机联锁软件系统的核心,其完整性和优越性决定着联锁系统的功能和性能。针对基于"与或"逻辑的联锁软件逻辑繁琐、集成度和可移植性差等问题,在采用模块化思想和结构化语言的基础上,通过分析联锁逻辑运算模块的功能需求和实现方法,设计了详尽的软件执行流程。通过实际应用,结果表明采用模块化结构和结构化语言的联锁软件功能完善,具有良好的可维护性和可移植性,符合计算机联锁技术条件第8条规定。     

车站信号计算机联锁设备仿真测试系统研究

计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的.     

计算机联锁数据自动生成软件的设计与实现

针对计算机联锁系统数据编写任务量大、正确性和安全性要求高等情况,通过分析联锁系统数据的结构特点,结合可视化编程方法,开发一种自动化软件,实现铁路车站图形绘制和联锁数据生成与校验功能.测试与应用表明,该软件可有效避免联锁数据编制中的人为错误,提高联锁软件安全可靠度,同时降低了联锁软件编制人员的专业水平门槛,可缩短软件编制...     

联锁系统应用软件的验证

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

城市轨道交通联锁系统发展趋势分析

城市轨道交通信号的联锁系统是保障列车运行安全的核心设备,根据安全防护条件和时序实现进路、信号和道岔之间联锁控制,满足列车安全运行的需求.分析了在大客流、高密度及超大网络的形势下,联锁系统作为信号系统安全最后一道防线所面临的发展需求.基于安全防护机理,结合当前信号系统故障-安全-持续运行的发展方向,从联锁系统的安全-效率平衡、全自动化运行适配及互联互通等方面分析了联锁系统的未来发展趋势.从联锁系统的安全理念、功能、形式和控制方式等方面阐述其演变要求,即:从"小联锁"向"大联锁"转变,从"硬联锁"向"软联锁"转变.     

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

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

我国列车通信网络的发展与应用

简述与列车通信网络有关的一些计算机局域网的基本概念和现场总线的情况，重点叙述列车通信网络在我国的发展与应用情况，提出作的一些看法。     

盾构工程在岩溶发育区的综合技术与实践

论述在岩溶发育区盾构施工需考虑突水、地表塌陷、岩溶顶板塌陷、盾构机体下垂等风险。在运营期间,车辆振动可能引发地表塌陷、管片下方溶土洞坍塌,导致车辆运行存在风险。广州地铁在岩溶发育区的多条线路采用盾构施工,大多于2010年底投入运营。结合岩溶发育区盾构工程实践,总结、思考广州地铁在勘察—设计—施工建设全过程的综合处理技术。     

提高铁道基础结构的可靠性 确保铁路运输安全

本文对 1999年得到欧盟批准、并由欧盟提供所需资金之半数的课题项目 :“适用于铁道基础结构之作业和后勤保障的方法”的背景做了简要介绍。从安全和可靠性、以可靠性为中心的维修及其实际应用、铁道的基础结构及风险等方面 ,论述了提高铁道基础结构机械装置的可靠性对确保铁路运输安全的重要意义。     

基于模糊综合评价理论,实现减速顶制造、维修质量的有效评估

结合减速顶的生产、维修实际,分析基于模糊综合评价理论进行减速顶的制造、维修质量评估的必要性,同时建立模糊评价的数学模型,并对实例进行模型设计和计算,为减速顶生产、运用、维修质量评估提供一条新思路。     

细水雾自动灭火系统及其在地铁的应用

对细水雾灭火系统的定义、分类,灭火机理以及在地铁的应用情况进行了简要介绍。     

ATS子系统单播泛洪引发网络风暴仿真及网络优化

列车自动监控(ATS)子系统网络的稳定和优化,关乎整个信号系统的稳定和安全。以真实线路硬件和组网方式为基础,模拟仿真了网络中的单播泛洪网络风暴,收集了第一手的数据资料,并对数据通信系统(DCS)网络结构优化做了进一步的分析。     

德国与我国机车车辆用螺栓技术的对比分析

介绍DIN25201《铁路车辆及其部件的设计准则螺栓连接》对紧固件的风险等级分级、设计、防松和安装等要求,并与我国目前铁路用螺栓紧固件实际应用情况进行对比分析,列举我国机车车辆用螺栓在应用上的一些成绩和存在的差距,推广先进的紧固件应用理念。     

交流传动机车和动车主变压器综述

概述了近几年交流传动机车和动车主变压器的发展，并结合“蓝箭”号车等主变压器论述了诸如绕组型式的选择、绕组排列、退耦、屏蔽，结构设计等问题。     

HX_N3型机车扫石器结构的设计分析与研究

主要阐述了HXN3型大功率交流传动内燃机车转向架扫石器支架的结构设计和改进,通过对扫石器支架结构的分析和研究,总结出转向架上类似扫石器的悬臂结构在设计时应注意的问题。     

KZ4A型机车车轮强度计算和轮对模态分析

采用有限元软件对KZ4A型交流传动电力机车的车轮静强度和疲劳强度进行计算,计算结果表明车轮强度满足要求。同时对轮对的模态进行了分析,得到了轮对的固有振动特性。