FlexRay总线在计算机联锁系统中的应用研究 

铁路计算机联锁系统作为一种实时的安全苛求系统,对实现铁路的安全高效运行发挥着至关重要的作用。计算机联锁系统主要经历了机械联锁控制、6502电气集中联锁控制、计算机联锁控制和全电子计算机联锁控制4个发展阶段。全电子计算机联锁系统结合几十年的计算机联锁`#~系统`...
兰州交通大学  硕士论文  2014年 下载次数(98)| 被引次数(3)

基于故障覆盖度的列控系统安全分析方法的研究 

摘要:近些年来,随着中国高速铁路的迅猛发展,中国铁路采用CTCS-3级列控系统(简称列控系统)作为300km/h高速铁路的统一技术平台。作为安全苛求系统,列控系统安全性和可靠性是衡量系统性能的重要指标,也是在系统设计和运营中需要考虑的...
北京交通大学  硕士论文  2014年 下载次数(252)| 被引次数(4)

安全计算机研究与应用 

安全计算机系统是指在发生故障的情况下,能够实现故障导向安全系统,即系统的输出在故障状态下导向安全侧,比如关闭信号、输出制动等,从而避免造成重大的生命财产损失。安全计算机广泛应用在航空航天、化工、轨道交通、核电等安全苛求领域...
华东交通大学  硕士论文  2017年 下载次数(90)| 被引次数(3)

基于GSN方法的CTCS-3级车载安全计算机安全论证 

铁路信号设备的职责就是保证列车安全运行的前提下提高行车效率,所以安全性是第一前提。CTCS-3级列控车载安全计算机是一种高安全苛求车载设备,属于列控系统中车载关键子系统列车自动防护系统ATP的核心组成部分,是综合地面信息处理,计算执行`...
北京交通大学  硕士论文  2013年 下载次数(274)| 被引次数(7)

轨道交通信号系统关键技术研究与应用 

城市规模越来越大,现代化程度越来越高,但其交通拥堵情况却日渐严重。此时城市轨道交通以其快捷、安全、准时和节能等特点迅速成为中国乃至世界上许多国家解决交通拥堵的第一选择,而基于通信的列车控制(Communication Based Train Control,CBTC)系统又因技术的先进性成为轨道...
浙江大学  博士论文  2017年 下载次数(224)| 被引次数(2)

基于STPA的CTCS-1级列控系统安全分析方法的研究 

CTCS-1级列控系统是为提升200km/h以下新建及改造线路安全性、可靠性、运输效率和自动化水平而对既有线列控系统进行的一次技术升级。列控系统作为典型的安全苛求系统,其安全性对整个铁路运输系统举足轻重,因此,对列控系统进行...
北京交通大学  硕士论文  2019年 下载次数(104)| 被引次数()

RSSP-2协议安全性建模及铁路信号系统网络安全性分析 

在铁路运输系统中,铁路信号系统是整个铁路系统运行的中枢神经,是确保列车运行安全及效率的核心因素,因其安全苛求特性,在研究、应用及发展中受到了国内外的广泛关注。随着我国高速铁路技术的快速发展,对铁路信号系统安全性提出了更高的要求。近年来...
北京交通大学  硕士论文  2016年 下载次数(235)| 被引次数(4)

复杂交互作用下RBC切换场景风险耦合分析方法研究 

CTCS-3级列控系统是控制列车安全追踪间隔,防止列车超速的高速铁路关键技术装备和安全苛求系统。CTCS-3级列控系统运营过程中,涵盖了多种不同的复杂运营场景,在不同的运营场景下,列控系统都有着复杂的交互行为和控制逻辑。因此,列控系统潜在的危险致因...
西南交通大学  硕士论文  2018年 下载次数(116)| 被引次数()

基于接口模型的失效传播分析及其在列控系统中的应用 

中国列车运行控制系统是高铁的核心技术之一。作为典型的安全苛求系统,列控系统的失效有可能导致人员伤亡、重大财产损失和环境破坏等。现今,基于模型的安全分析方法在复杂的计算机控制系统中得到广泛应用。与传统方法相比,基于模型的安全分析以语义精确的模型作为`...
北京交通大学  硕士论文  2017年 下载次数(89)| 被引次数(1)

列控系统需求规范形式化建模与验证方法研究 

列车运行控制系统(以下简称“列控系统”)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,由于列控系统是一个复杂的安全苛求系统,仅依靠经验制定的系统需求规范不可避免地存在某些漏洞或...
北京交通大学  博士论文  2012年 下载次数(924)| 被引次数(30)

基于TTCN-3的列控系统安全通信协议互操作性测试研究 

由于具有速度快、安全性好、运量大、污染小等优势,高速铁路在我国进入了飞速发展的阶段。目前,我国高速铁路使用的CTCS-3(China Train Control System level3)列车运行控制系统,属于安全苛求系统,依赖于高容量的传输系统进行数据传输。铁路信号`...
北京交通大学  硕士论文  2012年 下载次数(100)| 被引次数(3)

基于SCADE的地铁列车测速定位系统建模与安全性分析 

测速定位系统是城市轨道交通列车运行控制系统车载设备的关键子系统,它实时检测列车速度与当前位置,所测数据将用于列车移动授权的计算,测速定位系统的精确性和可靠性直接影响着行车安全和效率。基于模型的软件开发方法如今在安全关键领域逐渐被认可,高`#~安全`...
西南交通大学  硕士论文  2016年 下载次数(267)| 被引次数(2)

CBTC系统软件测试自动化的研究 

在城市轨道交通领域,基于通信的列车控制(Communication Based Train Control,CBTC)系统是当前信号系统发展的主流方向。CBTC系统实现了车地之间的全双工大容量双向连续信息传输,保障了通信的实时性与稳定性,提高了列车的定位精度与行车效率。CBTC`#~...
中国铁道科学研究院  硕士论文  2017年 下载次数(86)| 被引次数()

基于故障注入的车载ATP系统测试设计 

车载ATP系统安全苛求系统,负担着保证列车运行安全的重要作用,一旦失效将带来灾难性的危害导致重大安全事故,因此需要充分考虑各种错误状态可能带来的影响,针对可能出现的故障而采取恰当的防护处理。 为了保障系统安全性,需要对研发的车载ATP`#...
西南交通大学  硕士论文  2013年 下载次数(254)| 被引次数(6)

面向安全需求的安全通信协议测试序列生成算法 

安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议`#~...
《计算机应用》  2009年 第07期 下载次数(146)| 被引次数(3)

共找到相关记录277条上一页>234567891011下一页