北京轩宇空间科技有限公司王红霞获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京轩宇空间科技有限公司申请的专利一种支持软、硬件故障注入与表决的容错验证系统及方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116430827B 。
龙图腾网通过国家知识产权局官网在2026-05-08发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310364471.X,技术领域涉及:G05B23/02;该发明授权一种支持软、硬件故障注入与表决的容错验证系统及方法是由王红霞;刘鸿瑾;张绍林;李宾;付宝玲;牟宁;王小波;马远航;曹靓设计研发完成,并于2023-04-07向国家知识产权局提交的专利申请。
本一种支持软、硬件故障注入与表决的容错验证系统及方法在说明书摘要公布了:一种支持软、硬件故障注入与表决的容错验证系统及方法,其中一种支持软、硬件故障注入与表决的容错验证系统,包括故障注入管理软件、电源管理模块、故障注入设备、仿真设备及实体设备。而一种支持软、硬件故障注入与表决的容错验证方法,则借助上述的系统进行故障注入与表决的容错验证。建立合适的故障模型,同时保证验证系统的故障不会对真实设备造成损坏。
本发明授权一种支持软、硬件故障注入与表决的容错验证系统及方法在权利要求书中公布了:1.一种支持软、硬件故障注入与表决的容错验证方法,其特征在于,验证系统包括故障注入管理软件、电源管理模块、故障注入设备、仿真设备及实体设备; 故障注入管理软件通过电源管理模块对故障注入设备、仿真设备及实体设备上的电源控制; 故障注入管理软件向故障注入设备进行故障指令的发送; 故障注入管理软件接收故障注入设备采集到的实体设备或仿真设备的故障注入后的输出结果并处理,并对故障注入设备预判结果进行比对和分析,将比对结果存入数据库中; 故障注入设备通过IO数据电缆向仿真设备或实体设备注入硬件故障,以及通过总线数据电缆向仿真设备或实体设备注入软件故障; 电源管理模块用于故障注入设备、防真设备及实体设备的电源供电及供电控制; 仿真设备可部分全部的实现实体设备的功能,以通过仿真设备替代实体设备进行故障注入测试; 实体设备为故障注入及测试的主体设备; 其中, 故障注入设备包括插接于工控机箱内的故障注入与表决板、接口板,且故障注入与表决板与接口板以PCIe板卡的形式插接于工控机箱内; 实现实体设备或仿真设备中单机故障、通信故障和电路故障的硬件模拟注入以及总线状态抓取,并支持物理层、协议层的故障注入控制; 故障注入设备的硬件部分负责OC指令信号输出和实体设备的状态采集; 可实现单机硬件故障、总线载荷异常故障和电路故障的硬件模拟注入; 故障注入设备的软件部分控制故障有序输出、故障模式的配置和生成; 可实现单机软件故障、通信数据故障的软件模拟注入; 故障注入与表决板通过由SRAM型FPGA产生三机交换和表决逻辑,通过板载SoC处理器注入故障; 故障注入与表决板包括: 故障注入主控模块,其在板载SoC处理器中运行,且根据测试需求控制故障注入以及测试结果的比对; 交换逻辑模块,其包括交换故障注入和三机交换逻辑,其依据三机交换协议规定,在三机交换逻辑中注入特定的故障,以实现协议及物理层的故障注入,模拟三机交换的故障; 表决逻辑模块,其包括表决故障注入和三机表决逻辑,在三机表决电路中实施物理层的故障注入,模拟表决接口电路故障、表决逻辑故障,生成相应故障模式,并注入到FPGA; 表决执行模块,其包括注入软件生成模块、注入结果比对模块、表决执行等效器; 注入软件生成模块根据验证需求生成故障注入向量,以触发内核模拟单机故障; 表决执行模块接受来自三机判决所需的信息,并由接口板的遥控终端OC指令模块输出表决控制权及切时钟源控制信号,以实现模拟表决权的输出以及对表决数据的采集和计算; 注入结果比对模块对故障注入设备预判结果比对和预处理; 方法包括: 故障注入管理软件向故障注入设备中的故障注入主控模块进行故障指令的发送; 故障注入设备中的交换逻辑模块和表决逻辑模块接收故障注入主控模块所发送的故障指令; 其中,交换逻辑模块依据三机交换协议规定,在三机交换逻辑中注入协议及物理层的故障,并模拟三机交换的故障; 表决逻辑模块在三机表决电路中实施物理层的故障注入,模拟表决接口电路故障、表决逻辑故障,生成相应的故障模式; 表决执行模块得到交换逻辑模块所模拟的三机交换的故障及表决逻辑模块所模拟表决的接口电路故障、表决逻辑故障及相应的故障模式; 表决执行模块中的注入软件生成模块根据验证需求生成故障注入向量,以触发内核模拟单机故障,并生成三个独立CPU的故障软件,通过监控口向三台独立的CPU单机注入软件,实现对三台CPU的控制,从而对三台CPU中的任意一台进行故障注入; 表决执行模块中的表决执行等效器接受来自三机判决所需的信息,并由接口板的遥控终端模块输出表决控制权及切时钟源控制信号,以实现模拟表决权的输出以及对表决数据的采集和计算。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京轩宇空间科技有限公司,其通讯地址为:101318 北京市顺义区高丽营镇文化营村北(临空二路1号);或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励