铁路车站计算机联锁系统安全性分析 

铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的`#~安全...
《软件导刊》  2017年 第04期 下载次数(74)| 被引次数(0)

基于SCADE的CBTC联锁建模与验证 

城市轨道交通因其运量大、占地少、高效节能、有利于保护环境等优点,当前已成为各大城市缓解交通拥堵压力的首选方案。基于通信的列车控制系统(Communication-based Train Control, CBTC)利用通信技术实现车-地之间双向大容量的信息交互,具有安全、高效、灵活的特点,在城市...
西南交通大学  硕士论文  2015年 下载次数(174)| 被引次数(10)

基于UPPAAL的CBTC系统数据验证的研究 

基于通信的列车控制(Communication Based Train Control, CBTC)系统是保证列车运行安全、提高运输效率的安全苛求系统。CBTC各子系统依靠配置数据来定义系统的功能,数据作为系统核心组成部分,其正确性是CBTC`#~...
北京交通大学  硕士论文  2013年 下载次数(137)| 被引次数(6)

基于进路控制过程的联锁软件高效率测试方法研究 

计算机联锁系统是铁路信号的核心设备之一,在规定的联锁条件和规定的时序下对站内信号设备(道岔、信号机、进路)实行控制,实现联锁功能,保证列车安全高效运营。根据铁道部颁布的计算机联锁技术条件,联锁系统应能满足各种车站(场)规模和运输作业的需要,保证行车安全,提高运输效率。对于...
北京交通大学  硕士论文  2014年 下载次数(309)| 被引次数(12)

铁路车站计算机联锁软件建模研究 

铁路车站计算机联锁系统是运用“故障-安全”技术、计算机技术、网络技术以及容错技术等实现进路控制功能的系统。它不仅是实时系统,而且是安全-苛求系统。铁路车站计算机联锁软件是一种安全苛求软件,它在保障站内的行车安全、行车作业效率...
兰州交通大学  硕士论文  2017年 下载次数(190)| 被引次数(3)

列车群卫星定位轨迹仿真系统研究 

列车的定位技术能够实时、正确的获得列车的定位信息,保障列车高效、安全的运行。基于全球卫星导航系统(GNSS, Global Navigation Satellite System)的列车定位技术,能够削减轨旁的装置设备,因其以较低的成本达到互操作性和安全性的目标而获得了很大的发展。国...
北京交通大学  硕士论文  2015年 下载次数(171)| 被引次数(3)

基于Petri网的构件软件系统的安全性分析 

近年来,在中间件技术的基础上,结合软件复用和面向对象的思想,构件化设计和开发作为一种提高软件生产率和软件质量的有效途径,并在实践中得到广泛应用。目前,基于构件的软件开发方法已开始逐渐应用到安全苛求领域,诸如核电站、航空航天、工业控制、交通管制、军事领域和金融安全等方面。应用于这些领域的软件`#~...
太原科技大学  硕士论文  2011年 下载次数(177)| 被引次数(1)

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用 

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础...
《铁道通信信号》  2010年 第08期 下载次数(267)| 被引次数(18)

安全苛求系统的交叉验收框架 

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说...
《中国安全科学学报》  2005年 第03期 下载次数(68)| 被引次数(1)

轨道交通车载控制器实时时序行为的监控方法研究 

轨道交通是我国交通体系中的一个重要组成部分,随着轨道交通的日益完善,功能系统日益复杂,安全问题也不断突出。列车运行控制系统作为轨道交通中的一个重要系统,也是集控制、通信、计算和信号于一体的复杂系统。现阶段对列车运行控制系统安全验证的传统测试和验证方...
北京交通大学  硕士论文  2017年 下载次数(58)| 被引次数(1)

列控系统混成行为的建模与验证方法 

摘要:随着列控技术的发展,列车运行控制系统获得了巨大的进步和发展。在系统的设计和开发阶段,为了确保列控系统安全性,列控系统需求规范的正确性起着越来越重要的作用。然而,在系统开发的初始阶段,通常会因为系统需求规范不完整而无法进行开发。在...
北京交通大学  硕士论文  2014年 下载次数(244)| 被引次数(4)

面向场景的列车控制系统安全性测试技术研究 

轨道交通列车控制系统因其高速、精准的控制行为,要求其构成的多系统间的并发行为逻辑准确,而在这种典型的分布、实时和并发的安全苛求系统中,交互行为的时序性成为系统功能、安全性的重要特征。场景是刻画并发、分布系统间动态行为的有效方法,常用于描述`#~系统...
青岛科技大学  硕士论文  2015年 下载次数(36)| 被引次数(1)

面向安全评估的CTCS-2列控系统安全性测试环境 

高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框...
《计算机应用》  2010年 第08期 下载次数(190)| 被引次数(4)

CBTC系统区域控制中心内部实时通信网络的研究 

基于通信的列车控制(Communication Based Train Control,CBTC)系统是利用连续、大容量的车地双向数字通信实现列车控制信息和列车状态信息传输的先进列车控制系统,CBTC系统能够提高线路的利用率和行车安全性。区域控制中心(Zone ...
北京交通大学  硕士论文  2008年 下载次数(275)| 被引次数(4)

基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用 

CTCS-3级列控系统作为高速铁路的中枢神经系统,是典型的安全苛求系统.对安全苛求系统进行有效测试是提高系统安全性的重要手段.鉴于车地通信在列控系统中的重要性,提出一套基于有色Petri网的车地通信测试案例的生成方法.参考CTCS-3级列控`#~系...
《北京交通大学学报》  2018年 第06期 下载次数(84)| 被引次数()

共找到相关记录250条上一页>12345678910下一页