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

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

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

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

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

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

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

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

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

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