基于列控系统的扩展UML模型设计及故障树求解算法 

安全苛求系统对组成系统的软件和硬件安全级别要求很高,其出现故障后可能会导致重大的生命、财产损失。为了避免人员伤亡、降低经济损失,安全苛求系统在设计和研发过程中必须慎之又慎。安全苛求系统通常采用冗余配置来增强系统的可靠性,但是冗余结构同时也使得`#~...
北京交通大学  硕士论文  2015年 下载次数(174)| 被引次数(6)

安全苛求软件的自动化测试技术研究 

安全苛求软件通常指应用在医疗、轨道交通、航空航天等场合的软件,往往复杂度很高而且有着严格的质量要求,它们一旦发生故障则可能会导致灾难性后果,因此必须经过大量充分地测试才能避免事故的发生。但手工测试是一项耗费大量人力财力的工程,因此,对安全苛求系统的自动化测试技术的研究有着重要的研究意义和工程价值...
浙江大学  硕士论文  2013年 下载次数(259)| 被引次数(4)

基于COTS技术的2乘2取2安全计算机平台的研究 

随着计算机技术的发展,计算机被越来越多的用于安全苛求系统的控制,对安全计算机系统的研究形成了专门的分支。计算机的通用化和市场化,促使研究人员采用现货供应(Commercial-Off-The-Shelf,COTS)计算机产品构建安全计算机平台以替代价格高昂的专用...
北京交通大学  硕士论文  2008年 下载次数(325)| 被引次数(10)

基于形式化方法的软件代码安全性验证技术 

随着计算机软件技术的快速发展,特别是在航空航天、交通运输、生物医疗等安全苛求系统中的应用越来越广泛,软件系统安全性、可靠性变得越来越重要,任何一个错误都可能带来灾难性的后果。因此,如何保障软件系统安全可靠性越来越受到人们的关注。 从软件`#~系统`@...
北京交通大学  硕士论文  2015年 下载次数(325)| 被引次数(0)

安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究 

摘要:随着计算机科学技术和中国铁路的飞速发展,计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量,软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最大限度地发现软件中的错误并减少软件中残留的隐患,因此,在轨道交通系统中,加...
北京交通大学  硕士论文  2012年 下载次数(254)| 被引次数(1)

城市轨道交通CBTC数据管理单元安全关键软件设计与开发 

摘要:基于通信的列车控制(Communication Based Train Control,CBTC)系统是利用连续、大容量的车地双向数字通信实现列车控制信息和列车状态信息传输的先进列车控制系统,是今后轨道交通列车运行控制系统的发展趋势。典型的CBTC系统包括列车自动监...
北京交通大学  硕士论文  2013年 下载次数(108)| 被引次数(0)

基于SCADE模型的车载ATP软件测试方法 

列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安全苛求系统,对车载ATP进行严格的测试是十分必要的。形式化方法是一种提高软件系统,特别是安全苛求系统的`#...
北京交通大学  硕士论文  2019年 下载次数(26)| 被引次数()

基于失效致因模型的动态风险分析方法设计及应用 

安全苛求系统中,风险分析是系统安全性的评价指标。风险一般与事故发生频率以及造成的损失有关。事故的发生与设备故障,人因错误及组织管理都有关系。本文提出了包含技术、设备,人因及组织管理的动态风险分析方法,并构建了动态风险分析模型以及动态风险分析方法。 本篇论文的主要工作包括: 一、对`...
北京交通大学  硕士论文  2015年 下载次数(224)| 被引次数(1)

安全苛求软件的设计与开发方法研究 

随着城市信息化建设的不断推进,安全苛求系统的应用领域也越来越广泛,如航空航天、医疗、轨道交通等领域。在这些领域,安全苛求系统通常是功能密集型且逻辑复杂的,设计和开发难度大,生命周期长,成本高。本文针对轨道交通领域的基于通信的列车运行控制(CBTC,Communications Based Tra...
浙江大学  硕士论文  2013年 下载次数(142)| 被引次数(0)

列控安全计算机平台测试方法研究 

与区域控制器和数据存储单元有着密切交互的安全计算机平台是列控系统中的核心装备和重要安全单元之一。为了打破技术封锁,拥有自主化安全计算机平台,北京交通大学轨道交通控制与安全国家重点实验室已经开发出下一代列控安全计算机平台。为了满足下一代`#~安全`@...
北京交通大学  硕士论文  2017年 下载次数(117)| 被引次数(2)

列控安全计算机反应式故障安全的研究 

随着我国铁路网络和城市轨道交通快速发展,列车运行控制系统安全性实时性需求日益提高。列控安全计算机负责列控系统输入输出数据的校验及表决,通过大量的软硬件故障安全设计有效保证了列控系统安全性,但也一定程度上降低了实时性。本文引入EN50...
北京交通大学  硕士论文  2019年 下载次数(20)| 被引次数()

以安全为导向的中速磁浮车载运行控制系统设计 

时速200公里的中速磁浮列车具有转弯半径小、爬坡能力强、噪声低等显著优点,是缓解特大城市或城市群交通拥堵、实现区域内高效便捷出行的重要交通工具。运行控制系统是中速磁浮交通系统的三大核心子系统之一,是典型的安全苛求系统,因此,研究中速磁浮运行控制系统安全设计方法...
北京交通大学  硕士论文  2019年 下载次数(49)| 被引次数()

CBTC中轨旁安全计算机的设计与形式化验证 

随着计算机越来越多的应用于安全苛求系统中,计算机能否长期安全、可靠、稳定的运行成为人们关注的中心,这促使着越来越多的人开始研究和设计安全计算机。而系统安全性必须在设计阶段充分考虑,以免由于设计的缺陷导致整个系统存在安全隐患。...
北京交通大学  硕士论文  2008年 下载次数(300)| 被引次数(10)

ARINC 659通信总线的设计与实现 

安全计算机平台作为安全苛求系统的重要部分,CBTC系统中区域控制器ZC和数据存储单元DSU的应用软件都加载在安全计算机平台上。ZC区域内的所有列车的车载控制器将列车的位置和速度信息发往安全计算机平台上的ZC应用程序。 常规通信所使用的硬件和软件看作黑色通...
北京交通大学  硕士论文  2010年 下载次数(409)| 被引次数(9)

列控安全计算机通信容错与实时性优化的研究 

随着现代计算机和通信技术在铁路信号系统中应用,列车运行控制系统由传统的控制技术逐渐向综合化、智能化、网络化的方向发展。而列控安全计算机作为列车运行控制系统的核心硬件设备,其承载着系统的大部分安全功能,是确保列控系统安全性和可靠性的关键。...
北京交通大学  硕士论文  2018年 下载次数(100)| 被引次数(3)

共找到相关记录149条12345678910下一页