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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种基于场景模型的安全性分析方法 

本发明提出了一种基于场景模型的安全性分析方法,包括以下步骤:矛盾检测;修改和求精,获得一致的UML时序图描述;区分UML时序图中对象的并发行为序列与顺序行为序列;生成相应的有穷状态机模型;在LTSA中对系统的有穷状态机模型进行功能模拟,检测其功能行为是否满足系统的功能需求,若满足,则...
佛山市极加互动科技有限公司  中国专利  2018年 下载次数(0)| 被引次数(0)