CN100428174C - 一种嵌入式故障注入***及其方法 - Google Patents
一种嵌入式故障注入***及其方法 Download PDFInfo
- Publication number
- CN100428174C CN100428174C CNB2006101509724A CN200610150972A CN100428174C CN 100428174 C CN100428174 C CN 100428174C CN B2006101509724 A CNB2006101509724 A CN B2006101509724A CN 200610150972 A CN200610150972 A CN 200610150972A CN 100428174 C CN100428174 C CN 100428174C
- Authority
- CN
- China
- Prior art keywords
- fpga circuit
- control fpga
- fault
- injection
- circuit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
一种嵌入式故障注入***及其方法,它涉及的是对容错式计算机***进行测试与评估的技术领域。它为了克服现有技术无法真实准确地对计算机***的可靠性进行测试和评估的问题。它的主控计算机(1)通过ISA总线/串口数据转换CPLD电路(2)、主控FPGA电路(3)与同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)、80×86处理器插脚(7)、80×86处理器插座(8)互相数据连接。它的步骤为:(一)启动***;(二)初始化和自检;(三)发送故障模型参数;(四)设定锁存器的初值;(五)方向控制FPGA电路(6)设定方向;(六)同步控制FPGA电路(4)设定同步数据;(七)注入控制FPGA电路(5)设定注入数据;(八)记录结果;(九)显示结果。本发明能准确的对计算机***的可靠性进行测试和评估。
Description
技术领域
本发明涉及的是对容错式计算机***进行测试与评估的技术领域。
背景技术
军用计算机***(如车载、机载、舰载计算机)应用环境恶劣,这种恶劣环境容易导致计算机***出现故障;在计算机***的设计和生产过程中,工艺、原材料及加工技术等也可能导致计算机***存在潜伏的故障,计算机***的复杂性日益增大,在计算机***设计中,特别是软件设计中,也会存在许多潜在的故障,还有敌方的破坏和人为操作的失误,也会使计算机***的可靠性面临严峻考验,这些故障可能会引发错误,导致计算机***的效率降低甚至失效。为了提高计算机***的可靠性和抗干扰能力,往往采用容错技术和避错技术,但在目前的高可靠计算机***的研制开发过程中存在一个十分薄弱的环节,就是对上述***的测试和评估,然而这个环节是整个***开发周期中的一个重要组成部分。对于计算机***可靠性的评估是依靠理论计算和模拟试验的,需要对被测目标***进行必要的化简和假设,因而都无法真实准确地对***的可靠性进行评估。对可靠性缺乏定量分析,这可能导致无法确认***的设计是否满足实际运行的需要,从而无法及时有效地发现***设计和实现中存在的问题。另外在***的开发过程中也需要有测试设备提供对***各个开发阶段进行测试的能力,测试过程提供的反馈信息可用于对***的设计进行验证或改进。
发明内容
本发明是为了克服现有技术无法真实准确地对计算机***的可靠性进行测试和评估的问题;进而提出了一种嵌入式故障注入***及其方法。
本发明的嵌入式故障注入***包含主控计算机1、ISA总线/串口数据转换CPLD电路2、主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6、80×86处理器插脚7、80×86处理器插座8;
主控计算机1的ISA总线数据通信端连接ISA总线/串口数据转换CPLD电路2的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路2的串口数据通信端连接主控FPGA电路3的串口数据通信端,主控FPGA电路3的故障时间/触发信号输出输入端连接同步控制FPGA电路4的故障时间/触发信号输入输出端,主控FPGA电路3的故障类型/结果信号输入输出端连接注入控制FPGA电路5的故障类型/结果信号输出输入端,主控FPGA电路3的故障注入位置输出输入端连接方向控制FPGA电路6的故障注入位置输入输出端;同步控制FPGA电路4的注入信号输出输入总线端、注入控制FPGA电路5的注入信号输出输入总线端、方向控制FPGA电路6的注入信号输出输入总线端、80×86处理器插脚7的注入信号输出输入总线端与80×86处理器插座8的注入信号输出输入总线端相连接;80×86处理器插脚7插接在被测***的主板处理器插座9上,被测***的处理器10插接在80×86处理器插座8上。
本发明的嵌入式故障注入方法步骤为:
一、启动整个***及被测目标***11;
二、主控计算机1通过ISA总线/串口数据转换CPLD电路2发送自检信号给主控FPGA电路3,对主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6进行初始化和自检;
三、主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2接收主控计算机1发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
四、主控FPGA电路3根据各故障模型参数设定各类锁存器的初值,主控FPGA电路3根据主控计算机1传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路4,将故障类型、注入位置转发给注入控制FPGA电路5,将同步控制信号发送给方向控制FPGA电路6;
五、方向控制FPGA电路6以被测目标系11的地址线、数据线、控制线作为注入目标,并根据被测目标***11的读写信号、总线控制权信号对注入通道的方向进行设定,再传递给注入控制FPGA电路5;
六、同步控制FPGA电路4根据主控FPGA电路3传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标***11的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标***11同步,并传递给注入控制FPGA电路5;
七、注入控制FPGA电路5根据主控FPGA电路3发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路6发送的注入方向数据和同步控制FPGA电路4发送的注入数据之后,向被测目标***11注入故障;
八、主控FPGA电路3对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果;
九、当主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2收到主控计算机1发来的读取结果命令时,主控FPGA电路3将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路2送回到主控计算机1中,并显示出来。
本发明能真实准确的对计算机***的可靠性进行测试和评估,它能在容错计算机***研制的各个阶段对其进行测试,根据测试结果对***的设计与实现的正确性进行验证,对***的可靠性能指标进行评估,能使得容错计算机***具备更高的纠错和检测能力,实现更高的容错能力。
本发明与现有故障注入技术相比,本发明的有益效果是:
1.故障模型多样化,嵌入式故障注入方法可注入固定、翻转、开路和更加复杂的逻辑故障。
2.故障触发方式多,嵌入式故障注入器嵌入在目标***之中,随时可以截获***的状态和当前的运行信息。因此,嵌入式故障注入可以进行目标触发(例如,当访问某一内存地址时触发故障)。
3.方便、及时的结果回收,嵌入到目标***内部的嵌入式注入器可以通过截获目标硬件的相应的管脚信号来方便、及时地对结果信息进行回收。
4.高安全性,嵌入式故障注入修改管脚信号时,只需将原有的信号屏蔽掉,然后发一个代表我们期望的逻辑值的模拟量给目标硬件,该模拟量与目标***中代表相应逻辑值的模拟量保持一致,所以可以保证较高的注入安全性。
附图说明
图1是本发明的整体结构示意图,图2是本发明的嵌入式故障注入方法的步骤流程图,图3是主控FPGA电路3内部的运行步骤流程图,图4是同步控制FPGA电路4内部的运行步骤流程图,图5是注入控制FPGA电路5内部的运行步骤流程图,图6是方向控制FPGA电路6内部的运行步骤流程图。
具体实施方式
具体实施方式一:结合图1说明本实施方式,本实施方式的嵌入式故障注入***由主控计算机1、ISA总线/串口数据转换CPLD电路2、主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6、80×86处理器插脚7、80×86处理器插座8组成;
主控计算机1的ISA总线数据通信端连接在ISA总线/串口数据转换CPLD电路2的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路2的串口数据通信端连接主控FPGA电路3的串口数据通信端,主控FPGA电路3的故障时间/触发信号输出输入端连接同步控制FPGA电路4的故障时间/触发信号输入输出端,主控FPGA电路3的故障类型/结果信号输入输出端连接注入控制FPGA电路5的故障类型/结果信号输出输入端,主控FPGA电路3的故障注入位置输出输入端连接方向控制FPGA电路6的故障注入位置输入输出端;同步控制FPGA电路4的注入信号输出输入总线端、注入控制FPGA电路5的注入信号输出输入总线端、方向控制FPGA电路6的注入信号输出输入总线端、80×86处理器插脚7的注入信号输出输入总线端与80×86处理器插座8的注入信号输出输入总线端相连接;80×86处理器插脚7插接在被测***的主板处理器插座9上,被测***的处理器10插接在80×86处理器插座8上。
本实施方式的嵌入式故障注入方法步骤为:
一、启动整个***及被测目标***11;
二、主控计算机1通过ISA总线/串口数据转换CPLD电路2发送自检信号给主控FPGA电路3,对主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6进行初始化和自检;
三、主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2接收主控计算机1发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
四、主控FPGA电路3根据各故障模型参数设定各类锁存器的初值,主控FPGA电路3根据主控计算机1传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路4,将故障类型、注入位置转发给注入控制FPGA电路5,将同步控制信号发送给方向控制FPGA电路6;
五、方向控制FPGA电路6以被测目标***11的地址线、数据线、控制线作为注入目标,并根据被测目标***11的读写信号、总线控制权信号对注入通道的方向进行设定,再传递给注入控制FPGA电路5;
六、同步控制FPGA电路4根据主控FPGA电路3传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标***11的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标***11同步,并传递给注入控制FPGA电路5;
七、注入控制FPGA电路5根据主控FPGA电路3发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路6发送的注入方向数据和同步控制FPGA电路4发送的注入数据之后,向被测目标***11注入故障;
八、主控FPGA电路3对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果:
九、当主控FPGA电路3通过ISA总线/串口数据转换CPLD电路2收到主控计算机1发来的读取结果命令时,主控FPGA电路3将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路2送回到主控计算机1中,并显示出来。
所述主控FPGA电路3内部的运行步骤为(结合图3):
A1、开始;
A2、根据主控计算机1的信号进行自检测;
A3、判断自检正确与否,如判断为否,则返回步骤A2的开始端,如断为是,则运行下一步;
A4、接收主控计算机1发来的故障模型参数;
A5、根据各故障模型参数设定时间锁存器初值;
A6、故障注入开始;
A7、故障注入结束时,对比故障注入前后信号值,当故障注入是有效时记录结果;
A8、返回步骤A1的开始端。
同步控制FPGA电路4内部的运行步骤为(结合图4):
B1、开始;
B2、判断是否进行目标触发,如判断为否,则跳转到步骤B4的开始端,如判断为是,则继续运行下一步骤;
B3、判断总线信号与目标是否一致,如判断为否,则重新运行步骤B3,如判断为是,则继续运行下一步骤;
B4、根据时间锁存器的值产生注入数据;
B5、结束。
注入控制FPGA电路5内部的运行步骤为(结合图5):
C1、开始;
C2、选定注入管脚对应的注入单元;
C3、生成故障类型值;
C4、判断是否开始注入?如判断为否,则重新运行步骤C4,如判断为是,则继续运行下一步骤;
C5、打开注入通道进行故障注入;
C6、判断注入结果的有效性并记录,如判断为否,则重新运行步骤C6,如判断为是,则继续运行下一步骤;
C7、向主控FPGA电路3发送注入结果,并清除记录结果;
C8、结束。
方向控制FPGA电路6内部的运行步骤为(结合图6):
D1、开始;
并行运行步骤D2、步骤D3;
D2、判断是否为读周期?如判断为否,则运行步骤D6,如判断为是,则运行步骤D4;
D3、判断总线控制HLDA是否为高?如判断为否,则运行步骤D7,如判断为是,则运行步骤D5;
D4、数据线的注入信号方向为0,然后运行步骤D8;
D5、地址线的注入信号方向为0,然后运行步骤D8;
D6、数据线的注入信号方向为1,然后运行步骤D8;
D7、地址线的注入信号方向为1,然后运行步骤D8;
D8、结束。
嵌入式故障注入软件***包括宿主机端的监控软件,注入器端控制软件。宿主机端监控软件在中文Win2000平台下以VC5.0为工具进行开发的,用于整个故障注入***的管理和监控,其结构如图三所示。其主要功能有故障参数的设置,如芯片类型,注入的管脚号,故障的值类型和时间类型,注入触发方式等,同时显示每次注入后的结果信息。该软件还提供自检命令,并显示自检结果。已生成的故障模式可被存储于文件中,也可直接由文件调出现成的故障模式。***还提供了简单的联机帮助。
主控FPGA电路3、同步控制FPGA电路4、注入控制FPGA电路5、方向控制FPGA电路6选用的型号是ALTRA公司的MAX系列EPM7160,主控FPGA电路3选用的型号是ALTRA公司的Cyclone系列的EP1C60240。
Claims (6)
1、一种嵌入式故障注入***,其特征在于它包含主控计算机(1)、ISA总线/串口数据转换CPLD电路(2)、主控FPGA电路(3)、同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)、80×86处理器插脚(7)、80×86处理器插座(8);
主控计算机(1)的ISA总线数据通信端连接在ISA总线/串口数据转换CPLD电路(2)的ISA总线数据通信端,ISA总线/串口数据转换CPLD电路(2)的串口数据通信端连接主控FPGA电路(3)的串口数据通信端,主控FPGA电路(3)的故障时间/触发信号输出输入端连接同步控制FPGA电路(4)的故障时间/触发信号输入输出端,主控FPGA电路(3)的故障类型/结果信号输入输出端连接注入控制FPGA电路(5)的故障类型/结果信号输出输入端,主控FPGA电路(3)的故障注入位置输出输入端连接方向控制FPGA电路(6)的故障注入位置输入输出端;同步控制FPGA电路(4)的注入信号输出输入总线端、注入控制FPGA电路(5)的注入信号输出输入总线端、方向控制FPGA电路(6)的注入信号输出输入总线端、80×86处理器插脚(7)的注入信号输出输入总线端与80×86处理器插座(8)的注入信号输出输入总线端相连接;80×86处理器插脚(7)插接在被测***的主板处理器插座(9)上,被测***的处理器(10)插接在80×86处理器插座(8)上。
2、一种嵌入式故障注入方法,其特征在于它的方法步骤为:
(一)、启动整个***及被测目标***(11);
(二)、主控计算机(1)通过ISA总线/串口数据转换CPLD电路(2)发送自检信号给主控FPGA电路(3),对主控FPGA电路(3)、同步控制FPGA电路(4)、注入控制FPGA电路(5)、方向控制FPGA电路(6)进行初始化和自检;
(三)、主控FPGA电路(3)通过ISA总线/串口数据转换CPLD电路(2)接收主控计算机(1)发送来的故障注入的故障模型参数,即:注入位置、故障类型、触发方式、触发条件、注入持续时间、决定注入次数;
(四)、主控FPGA电路(3)根据各故障模型参数设定各类锁存器的初值,主控FPGA电路(3)根据主控计算机(1)传送各故障模型参数的顺序,将触发方式、触发条件转发给同步控制FPGA电路(4),将故障类型、注入位置转发给注入控制FPGA电路(5),将同步控制信号发送给方向控制FPGA电路(6);
(五)、方向控制FPGA电路(6)以被测目标***(11)的地址线、数据线、控制线作为注入目标,并根据被测目标***(11)的读写信号、总线控制权信号对注入通道的方向进行设定,再传递给注入控制FPGA电路(5);
(六)、同步控制FPGA电路(4)根据主控FPGA电路(3)传递来的注入信号的相关时间数据和触发条件数据来产生注入信号,同时再根据被测目标***(11)的时钟数据和总线周期数据,来减小注入的延迟,保证注入信号与被测目标***(11)同步,并传递给注入控制FPGA电路(5);
(七)、注入控制FPGA电路(5)根据主控FPGA电路(3)发送来的故障类型和注入位置数据,并在接收方向控制FPGA电路(6)发送的注入方向数据和同步控制FPGA电路(4)发送的注入数据之后,向被测目标***(11)注入故障;
(八)、主控FPGA电路(3)对比故障注入前后数据值,当故障注入前后的值改变后,表明这次故障注入为有效,而记录结果;
(九)、当主控FPGA电路(3)通过ISA总线串口数据转换CPLD电路(2)收到主控计算机(1)发来的读取结果命令时,主控FPGA电路(3)将按注入结果设定的顺序,通过ISA总线/串口数据转换CPLD电路(2)送回到主控计算机(1)中,并显示出来。
3、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述主控FPGA电路(3)内部的运行步骤为:
(A1)、开始;
(A2)、根据主控计算机(1)的信号进行自检测;
(A3)、判断自检正确与否,如判断为否,则返回步骤A2的开始端,如判断为是,则运行下一步;
(A4)、接收主控计算机(1)发来的故障模型参数;
(A5)、根据各故障模型参数设定时间锁存器初值;
(A6)、故障注入开始;
(A7)、故障注入结束时,对比故障注入前后信号值,当故障注入是有效时记录结果;
(A8)、返回步骤A1的开始端。
4、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述同步控制FPGA电路(4)内部的运行步骤为:
(B1)、开始;
(B2)、判断是否进行目标触发,如判断为否,则跳转到步骤B4的开始端,如判断为是,则继续运行下一步骤;
(B3)、判断总线信号与目标是否一致,如判断为否,则重新运行步骤B3,如判断为是,则继续运行下一步骤;
(B4)、根据时间锁存器的值产生注入数据;
(B5)、结束。
5、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述注入控制FPGA电路(5)内部的运行步骤为:
(C1)、开始;
(C2)、选定注入管脚对应的注入单元;
(C3)、生成故障类型值;
(C4)、判断是否开始注入?如判断为否,则重新运行步骤C4,如判断为是,则继续运行下一步骤;
(C5)、打开注入通道进行故障注入;
(C6)、判断注入结果的有效性并记录,如判断为否,则重新运行步骤C6,如判断为是,则继续运行下一步骤;
(C7)、向主控FPGA电路(3)发送注入结果,并清除记录结果;
(C8)、结束。
6、根据权利要求2所述的一种嵌入式故障注入方法,其特征在于所述方向控制FPGA电路(6)内部的运行步骤为:
(D1)、开始;
并行运行步骤D2、步骤D3;
(D2)、判断是否为读周期?如判断为否,则运行步骤D6,如判断为是,则运行步骤D4;
(D3)、判断总线控制HLDA是否为高?如判断为否,则运行步骤D7,如判断为是,则运行步骤D5;
(D4)、数据线的注入信号方向为0,然后运行步骤D8;
(D5)、地址线的注入信号方向为0,然后运行步骤D8;
(D6)、数据线的注入信号方向为1,然后运行步骤D8;
(D7)、地址线的注入信号方向为1,然后运行步骤D8;
(D8)、结束。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2006101509724A CN100428174C (zh) | 2006-10-31 | 2006-10-31 | 一种嵌入式故障注入***及其方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2006101509724A CN100428174C (zh) | 2006-10-31 | 2006-10-31 | 一种嵌入式故障注入***及其方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN1945547A CN1945547A (zh) | 2007-04-11 |
CN100428174C true CN100428174C (zh) | 2008-10-22 |
Family
ID=38044958
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CNB2006101509724A Expired - Fee Related CN100428174C (zh) | 2006-10-31 | 2006-10-31 | 一种嵌入式故障注入***及其方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN100428174C (zh) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102116839B (zh) * | 2009-12-30 | 2013-02-27 | 中国科学院沈阳自动化研究所 | 一种基于最大流方法的fpga测试方法 |
CN101770417B (zh) * | 2010-01-15 | 2013-04-10 | 哈尔滨工业大学 | 基于jtag的硬件故障注入***及故障注入方法 |
CN102014046B (zh) * | 2010-01-21 | 2013-01-23 | 柳州市达迪通信设备有限公司 | 一种实现模拟多流以太网数据报文发送的方法及*** |
CN102779104B (zh) * | 2011-05-09 | 2015-07-01 | 北京旋极信息技术股份有限公司 | 一种串口数据故障注入方法和装置 |
CN102779084B (zh) * | 2011-05-12 | 2015-11-25 | 北京旋极信息技术股份有限公司 | 故障注入方法和装置 |
CN103293468A (zh) * | 2013-04-09 | 2013-09-11 | 北京时代民芯科技有限公司 | 一种便于器件故障敏感度测试的故障注入***及方法 |
CN103529820B (zh) * | 2013-09-26 | 2016-02-10 | 北京航天自动控制研究所 | 一种适用于嵌入式设备的故障注入测试***及测试方法 |
CN105094109B (zh) * | 2014-05-23 | 2018-09-04 | 上海通用汽车有限公司 | 一种故障注入装置 |
CN104657265A (zh) * | 2015-02-10 | 2015-05-27 | 上海创景计算机***有限公司 | 软件故障注入和分析的流程定义方法 |
CN106383303A (zh) * | 2016-08-26 | 2017-02-08 | 哈尔滨工业大学 | 基于观察点与并行的故障注入模拟方法及装置 |
CN108717291B (zh) * | 2018-05-11 | 2021-04-06 | 河南辉煌科技股份有限公司 | 基于cpld进行故障注入的测试装置及测试方法 |
CN112840326B (zh) * | 2018-12-03 | 2024-07-02 | 硕动力公司 | 用于自动化操作管理的测试引擎 |
CN111722095B (zh) * | 2020-06-24 | 2021-05-25 | 中国电子科技集团公司第十四研究所 | 一种嵌入式故障注入模块、方法及高速数字电路*** |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1716212A (zh) * | 2004-06-29 | 2006-01-04 | 联想(北京)有限公司 | 一种灾难恢复***及方法 |
CN1740980A (zh) * | 2004-08-29 | 2006-03-01 | 华为技术有限公司 | 一种基于可编程逻辑器件的故障注入方法和装置 |
US20060101307A1 (en) * | 2004-10-01 | 2006-05-11 | Lockheed Martin Corporation | Reconfigurable computing machine and related systems and methods |
-
2006
- 2006-10-31 CN CNB2006101509724A patent/CN100428174C/zh not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1716212A (zh) * | 2004-06-29 | 2006-01-04 | 联想(北京)有限公司 | 一种灾难恢复***及方法 |
CN1740980A (zh) * | 2004-08-29 | 2006-03-01 | 华为技术有限公司 | 一种基于可编程逻辑器件的故障注入方法和装置 |
US20060101307A1 (en) * | 2004-10-01 | 2006-05-11 | Lockheed Martin Corporation | Reconfigurable computing machine and related systems and methods |
Also Published As
Publication number | Publication date |
---|---|
CN1945547A (zh) | 2007-04-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN100428174C (zh) | 一种嵌入式故障注入***及其方法 | |
Bozzano et al. | The COMPASS approach: Correctness, modelling and performability of aerospace systems | |
US7529653B2 (en) | Message packet logging in a distributed simulation system | |
CN108737187A (zh) | 一种can总线故障模拟***及故障模拟方法 | |
CN105738854A (zh) | 智能电表嵌入式应用的模拟存储器测试板***及测试方法 | |
CN1693921B (zh) | 检查物理***模型的鲁棒性 | |
JPH10116258A (ja) | フォルトトレラント・コンピュータ・システムにおける障害モジュール位置 | |
CN113778822B (zh) | 纠错能力测试方法、装置、可读存储介质及电子设备 | |
CN103529820A (zh) | 一种适用于嵌入式设备的故障注入测试***及测试方法 | |
CN103376340A (zh) | 一种转接板、多平台串行测试***及方法 | |
CN110321292A (zh) | 芯片测试方法、装置、电子设备及计算机可读存储介质 | |
CN103810069A (zh) | Arinc659总线容错电路的验证平台及其验证方法 | |
CN108228454B (zh) | 一种基于环境故障注入的机电产品软件可靠性评价方法 | |
CN117591413A (zh) | 一种基于uvm的总线接口模块的验证***及验证方法 | |
Chupilko et al. | A TLM-based approach to functional verification of hardware components at different abstraction levels | |
KR101042979B1 (ko) | 임베디드 시스템의 신뢰성 평가를 위한 시뮬레이션 커널을 이용하는 오류주입시험 장치 | |
CN113177388B (zh) | 用于ip核测试与验证的装置、***及方法 | |
CN115732025A (zh) | Ram访问冲突的验证方法及验证装置 | |
US20060268724A1 (en) | Using Open Vera Assertions to verify designs | |
US20050114735A1 (en) | Systems and methods for verifying core determinacy | |
CN105335177A (zh) | 嵌入式***的测试方法、测试装置和测试*** | |
Nejedlo et al. | Intel® IBIST, the full vision realized | |
CN117785756B (zh) | 存储器控制***、方法、芯片及计算机可读存储介质 | |
Chakraborty et al. | A practical approach to comprehensive system test & debug using boundary scan based test architecture | |
Fey | Assessing system vulnerability using formal verification techniques |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
C17 | Cessation of patent right | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20081022 Termination date: 20121031 |