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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

联锁系统UML模型的建立与形式化验证 

针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再...
《铁道标准设计》  2018年 第06期 下载次数(140)| 被引次数(1)

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

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

基于GMP算法的安全计算机高速通信的容错设计湦 

安全计算机普遍采用分布式冗余结构但未有相应的容错管理机制,文章采用基于时间触发机制的通信方式,提出基于GMP(Group Membership Protocol)算法的高速通信容错机制。在2乘2取2结构的安全计算机平台上对容错机制进行了验证,结果表明,该机制对安全计算机通信的容错性有明显的优化效果。
《铁路计算机应用》  2018年 第03期 下载次数(34)| 被引次数()

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

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

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

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

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

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

共找到相关记录47条1234下一页