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

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

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

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

安全苛求通信系统的形式化建模及验证 

随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安全苛求控制系统,把安全相关的通信功能独立出来不但可使系统的结构优化、性能提升、有利于系统的研发,更有...
中国铁道科学研究院  博士论文  2011年 下载次数(129)| 被引次数(3)

基于COTS部件构成的安全苛求系统进行故障注入测试的方法 

本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括:将构成安全苛求系统的COTS部件,按故障注入所需分类;对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EMC保护措施;根据COTS部件使用的实际情况选择故障注入界面,确定各故障注入界面的故障注入点;针对不同...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

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

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

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务微周期时钟周期构成一个任...
北京交通大学  中国专利  2019年 下载次数(0)| 被引次数(0)

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务微周期时钟周期构成一个任...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

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

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

一种基于失效传播模型的安全分析方法的研究 

对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统的安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入21世纪后计算机系统正朝着深度融合计算、通信和控制技术,形成可控、可信的网络化物理设备系统的方向发展,系统的复杂性、动态...
北京交通大学  博士论文  2010年 下载次数(737)| 被引次数(24)

安全苛求系统的扩展UML类图模型的故障树生成方法 

本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析...
北京交通大学  中国专利  2015年 下载次数(0)| 被引次数(1)

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

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

基于扩展UML模型的安全苛求系统的故障树生成方法 

本发明提供了一种基于扩展UML模型的安全苛求系统的故障树生成方法。该方法包括构造安全苛求系统的扩展UML模型;从所述扩展UML模型中提取安全苛求系统的结构关系信息,所述结构关系信息包括类图中的关联关系和基数信息;基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。本发明针对标准UML方法对系统安全方...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

基于模型的高速列车运行控制系统可信性验证方法研究 

随着列车运行控制系统的飞速发展,人们对于其能否安全可靠的完成承载运输任务越来越关注,而列控系统的可信性是否达到需求是影响这一点的关键。采用科学、系统的可信性验证方法对高速列控系统的复杂结构和功能进行可信性的验证是这一类系统设计开发过程不可缺少的环节。随着计算机技术的飞速发展,系统的结构复杂性、嵌入式特性和功能逻辑复杂性...
北京交通大学  博士论文  2012年 下载次数(675)| 被引次数(7)

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

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

基于SCBM的安全分析方法及其在列控系统中的应用 

铁路运输装备制造行业是国家当前经济发展的热点,也是“中国制造2025 和“一带一路”宏伟发展战略的交点,同时也是未来城市与地区互联互通建设的关键支点。列车运行控制系统(简称列控系统)是铁路运输系统的重要组成部分,是集综合指挥调度、安全运行防护、高效可靠可用于一身的信息系统“体系”(SoS, System of Syst...
北京交通大学  博士论文  2016年 下载次数(213)| 被引次数(3)

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