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

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

基于标签转移系统的二乘二取二系统的形式化验证研究 

为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程...
《铁道标准设计》  2018年 第07期 下载次数(30)| 被引次数()

基于虚拟化的列控安全计算机平台分区软件研究 

随着我国高速铁路和城市轨道交通快速发展,列车运行控制系统(列控系统)功能需求日益复杂化,如高密度行车控制、节能优化、以及无人驾驶等。列控安全计算机作为列控系统应用的重要载体,其平台上实时软件也越加复杂化。本文针对列控安全计算机软件复杂化和系统需求不断地变化等趋势,提出了一种基于虚拟化的多应用列控安全计算机平台分区软件设...
北京交通大学  硕士论文  2018年 下载次数(97)| 被引次数(2)

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

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

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

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

CBTC系统数据管理过程分析和设计 

阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的7个步骤,并讨论该方法的可用性和可行性。
《都市快轨交通》  2013年 第03期 下载次数(57)| 被引次数(1)

基于安全编码处理器的检错工具研究与设计 

为了提高安全编码处理器的可维护性,基于安全冗余编码算法,设计了2种冗余代码检错工具。研究表明:在线检错工具较离线检错工具能够更准确地定位错误的初发位置,并且对程序的运行效率影响很小。
《铁道通信信号》  2018年 第05期 下载次数(11)| 被引次数()

安全苛求系统下的嵌入式C语言程序调试技巧 

介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的 版本升级比较法 ,打印添加技巧以及其它调试技巧和经验。
《铁路计算机应用》  2014年 第06期 下载次数(46)| 被引次数(6)

轨道交通信号系统安全技术的发展和研究现状 

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全,信号系统作为保证列车安全、正点、快捷、舒适、高密度不间断运行的重要技术装备在轨道交通系统中有着举足轻重的地位。随着计算机技术在轨道交通信号系统中的应用,原有的安全保障技术和方法已不能满足越来越高的安全要求。为了使相关研究人员了解和应用国外信号系统...
《中国安全科学学报》  2005年 第06期 下载次数(1132)| 被引次数(96)

轨道交通信号系统安全技术的发展和研究现状 

随着计算机技术在轨道交通信号系统中的应用,原有的安全保障技术和方法已不能满足越来越高的安全要求。从国外最新的相关研究成果和安全标准来看,在系统开发之前需要进行系统的前期安全评估,对于潜在的危险和故障进行分析和记录,可让安全问题得到更为全面的预防与解决。
《家庭生活指南》  2019年 第06期 下载次数()| 被引次数()

安全苛求系统综合功能危险源分析方法的研究 

基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛盾...
《铁路计算机应用》  2011年 第07期 下载次数(130)| 被引次数(8)

iLOCK型计算机联锁开发中的需求开发管理 

根据CMMI模型和EN50128标准,结合i LOCK计算机联锁系统的开发过程,介绍了安全苛求系统开发过程中的需求开发和管理。
《铁道通信信号》  2016年 第11期 下载次数(43)| 被引次数(0)

基于模糊理论的安全计算机非严格输入方法研究 

随着中国城市化的加快,铁路网络不断密集化和客流量持续增加对列车运行控制系统提出了更高的要求。安全计算机作为列控系统的核心,其平台结构和应用逻辑越加复杂。未来安全计算机的一个重要发展趋势就是所需要处理的数据量呈指数增长。数据量的增长使得输入的模拟量数据不一致性问题更加突出,这给列控系统的安全与高效运行带来了极大挑战。当前...
北京交通大学  硕士论文  2019年 下载次数(18)| 被引次数()

基于时效质量鉴定成本的列车运行控制系统测试评估 

针对列车运行控制系统的质量安全测评工作,一般采用基于质量成本的评估方法。目前,已有的质量成本评估方法主要关注点在于追求降低测试质量成本,却忽略了项目对时效性的需求。引入时效维度,建立基于时效因子的测试质量成本评估模型,并应用于城市轨道交通列车运行控制系统的测试过程评估。利用自适应遗传算法寻找到的最优解表明,在满足时效性...
《城市轨道交通研究》  2016年 第09期 下载次数(31)| 被引次数(1)

联锁系统形式化模型的安全性评估 

根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。
《微电子学与计算机》  2007年 第08期 下载次数(134)| 被引次数(10)

共找到相关记录21条12下一页