基于需求的安全例证获取与管理方法研究 

基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event-B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event-B提供的...
《佳木斯大学学报(自然科学版)》  2013年 第06期 下载次数(27)| 被引次数(0)

基于Timed RAISE的RBC切换建模与分析 

CTCS(Chinese Train Control System,中国列车控制系统)是我国铁路当中控制列车安全运行,提高列车行车效率的重要装备。RBC(Radio Block Center,无线闭塞中心)是CTCS-3级列控系统的重要组成部分,RBC切换是影响列车安全高...
兰州交通大学  硕士论文  2015年 下载次数(47)| 被引次数(2)

基于混合因果逻辑的量化风险分析方法及应用 

列车运行控制系统作为安全苛求系统,其自身安全与行车运营息息相关,不仅要保障列车安全运行,而且当故障发生后,能使故障导向安全系统中的薄弱环节、设备中潜在风险、人因和组织的误操作,会导致不可弥补的灾难。本文针对社会科技系统,建立基于混合因...
北京交通大学  硕士论文  2015年 下载次数(236)| 被引次数(4)

基于时间有色Petri网的计算机联锁系统建模 

随着我国铁路的快速发展,对提高铁路系统安全性和可靠性需求日益增加。尤其是铁路计算机联锁系统,它作为一种实时的安全苛求系统,对实现铁路的安全高效运行发挥着至关重要的作用。目前,我国正在大力修建多条铁路新建线,并完成对旧线的强化改造。为了能够评估这些铁路线上相应...
兰州交通大学  硕士论文  2013年 下载次数(228)| 被引次数(7)

基于UPPAAL的联锁进路控制流程建模与验证 

信号系统是城市轨道交通的主要技术装备,它担负着指挥列车运行、保证行车安全、提高运输效率的重要任务。计算机联锁(CI)又是城市轨道交通信号系统的重要组成部分,它实现信号、道岔与进路的制约关系,从而保证了行车的安全。城市轨道交通的计算机联锁把联锁关系和ATP功能结...
北京交通大学  硕士论文  2009年 下载次数(489)| 被引次数(39)

基于多形态时钟输入输出迁移系统的安全软件测试研究 

缺乏系统的科学的测试体系是一直以来影响安全软件测试可信度的根本问题。在现有的工程实践中,测试是实验性行为的认知和实施方案普遍存在,威胁着系统安全性并且这一问题随着安全软件需求量的激增,职责范围的外延,规模的扩大和复杂度的提高变得越来越严重。因此,构造高效可信...
华东师范大学  博士论文  2017年 下载次数(129)| 被引次数()

基于故障树的车载ATP安全通信板检测系统的研制 

ATP(Automatic Train Protection,列车超速防护系统)是在轨道交通领域中用于提高列车运行效率、保障行车安全的重要装置,是典型的安全苛求系统,对安全性、可靠性的要求十分严格。为了便于现场检测并且使检测具有针对性,本文提出了针对ATP安全...
北京交通大学  硕士论文  2015年 下载次数(188)| 被引次数(3)

基于XML的CTCS-3级车载测试数据管理方法研究及应用 

CTCS-3级列车运行控系统是我国高速列车安全、可靠、高效运行的重要技术装备。作为安全-苛求系统,为强化安全管理,降低运营安全风险,保证不同设备供应商提供的列控系统设备之间具有完好的互联互通性,需要在CTCS-3列控系统设备...
北京交通大学  硕士论文  2011年 下载次数(112)| 被引次数(3)

无线闭塞中心安全风险评估研究 

无线闭塞中心作为CTCS-3(Chinese Train Control System at level 3,中国列车运行控制系统应用等级3)级列控系统的地面核心子系统,是保障高速列车安全运行的关键。无线闭塞中心是基于故障安全计算机平台的安全苛求信...
兰州交通大学  硕士论文  2016年 下载次数(151)| 被引次数(7)

基于HAZOP的列控系统安全分析与验证 

列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例,进行HAZOP`#...
《铁道通信信号》  2016年 第03期 下载次数(129)| 被引次数(1)

列车运行控制系统分层形式化建模与验证分析 

列车运行控制系统(简称“列控系统”)是将先进的控制技术、通信技术、计算机技术与铁路信号技术融为一体,保证轨道交通安全、正点、高密度运行的自动化系统。随着计算机在列控系统中的广泛应用,硬件和软件规模不断扩大,系统的复杂性有了很大的提高,呈现出复杂的`...
北京交通大学  博士论文  2011年 下载次数(1262)| 被引次数(53)

基于模型的列控系统危险辨识方法研究 

高速列车运行控制系统是集计算机、通信及控制技术与传统铁道信号技术为一体的复杂安全控制系统,是保证高速列车安全高效运行的关键系统。针对我国高速铁路的运营特点,我国研制了CTCS-3级列控系统。CTCS-3级列控系统是典型的`#~安全苛求系...
北京交通大学  硕士论文  2015年 下载次数(169)| 被引次数(2)

基于动态故障树的高速铁路ATP系统可靠性研究 

高速铁路ATP(Automatic Train Protection,列车自动防护)系统是高速列车运行控制系统的车载子系统,是用于保证高速列车安全可靠运行的重要装备。高速铁路ATP系统作为一个复杂且安全苛求系统,研究系统的...
兰州交通大学  硕士论文  2014年 下载次数(503)| 被引次数(4)

基于UML的列控系统建模方法与验证工具集成 

近年来随着技术的发展,列车运行控制系统的功能不断增强,为实现不同厂商设备间、地面设备与车载设备间互联互通,使列车能够在轨道交通网中跨线安全运行,列控系统需求规范的作用正日益突显。但现有研究成果表明在需求层面对系统的关键属性进行分析和确认面临很多困难,需要提出一种合理的框架...
北京交通大学  硕士论文  2012年 下载次数(284)| 被引次数(10)

车载ATP主机软件研究 

随着基于通信的列车控制系统(Communication Based Train Operation Control, CBTC)等先进的控制方法及设备的引入,城市轨道交通逐渐发展为一种运行密度大、安全正点的交通手段,其在解决城市交通拥挤方面发挥着特殊的意义和无可替代的作用。 列车自动防护`...
北京交通大学  硕士论文  2012年 下载次数(287)| 被引次数(1)

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