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

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

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

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

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

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

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

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

基于模型工程的安全计算机平台设计与验证 

随着安全苛求系统在铁路、航空航天、工业控制等领域应用得越来越广泛,安全计算机技术的发展越来越受到人们的重视,已经形成了一个专门的学术分支。为了扩大适用范围、减少开发成本和维护成本,安全计算机的开发正朝着通用化、可升级、可扩展等方向发展。 本文以基于通信的列车运行...
北京交通大学  硕士论文  2009年 下载次数(252)| 被引次数(4)

基于可编程逻辑的硬件平台的设计与形式化验证 

安全硬件平台通过先进的计算机、电子技术来现实。随着计算机、电子技术的迅猛发展,系统性能大大提高,结构也变得越来越复杂。安全硬件平台作为安全苛求系统的重要部分,其安全性是至关重要的。在设计阶段就应充分考虑安全性,以免由于潜在的设计缺陷导致...
北京交通大学  硕士论文  2009年 下载次数(199)| 被引次数(5)

一种轨道交通计算机控制系统安全苛求信息的处理方法 

一种应用于铁路或轨道交通行业计算机控制系统安全苛求信息的处理方法,将输入信息采用一分为四的分配方法分别传送给负责信息处理的I系和II系内的两个独立通道安全计算处理模块进行分别处理并独立输出,其输出具备三级输出结构,包括一级单系内部的双通道仲裁输出、二级双系切换输出、三级最终`#~安...
同济大学  中国专利  2013年 下载次数(0)| 被引次数(0)

基于时间触发机制的通信总线安全性分析 

时间触发机制是在预先规定的时间激励系统的活动,使得系统中各对象的行为是确定的、可预测的。因此基于时间触发原理设计的通信总线能有效地满足计算机控制系统确定性要求,非常适用于安全苛求领域。基于FMEA方法对时间触发通信进行可靠性评估,从物理层与链路协议层两方面分析时间触发通信...
《现代计算机(专业版)》  2018年 第11期 下载次数(28)| 被引次数()

二乘二取二安全计算机的设计与实现 

结合LKJ列控设备的应用,提出了基于二乘二取二安全计算机架构列控设备的设计与实现方法,并对系统架构、安全设计策略、关键技术的实现进行了分析和说明,给出了具体的实现方式和方法。适应于安全苛求环境下的工业应用。
《自动化技术与应用》  2019年 第10期 下载次数(13)| 被引次数(0)

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

基于差异化位标识的数据流错误检测算法 

计算机系统在运行时可能发生硬件错误,从而破坏寄存器中的数据,导致程序产生错误的输出结果,此类错误在安全苛求系统中会造成不可估量的损失。目前主要使用冗余编码的软件方法来检测数据流错误,该研究领域主要有ANBD码算法和△码算法两种主流的检测算法,但现有算法难以实现安全性和性能的平衡,本文...
《信息技术与信息化》  2018年 第07期 下载次数(18)| 被引次数()

万转光驱时代无声的较量 

经历了腥风血雨的转速比拼时代,有幸存活下来的光驱厂商惊喜的发现,在这场战争中,自己终于成熟了。不再片面的追赶到底是48X还是50X,在大家共同迈入了万转光驱时代的今天,转速已经不再是值得炫耀的指标,安全、安静是这个时代的追求,能满足这一苛求的ABS(Auto Balance System...
《电脑自做》  2001年 第02期 下载次数(5)| 被引次数(0)

共找到相关记录13条1