基于VHDL的故障注入技术

对基于VHDL的故障注入技术进行研究,阐述基于仿真命令、"破坏"和"突变"的故障注入技术原理,以8051处理器为注入对象,实现3种故障注入技术。对3种技术的特性进行比较分析。对于仿真命令方式,研究信号操作和变量操作2种方式,针对变量操作方式提出可行的实现方法。对于"破坏"方式,通过对"串行破坏"和"并行破坏"的分析比较,证明前者更具实用价值。对于"突变"方式,介绍不同的实现方法,提出优化的设计方案。

基于VHDL的故障注入技术研究

与其他故障注入技术相比,基于VHDL的故障注入技术具有很大的优点。首先,它可用于系统的设计阶段,减少产品推向市场的时间;其次,它具有很高的可控性和可观察性。对基于VHDL的故障注入技术进行了研究,分别研究了基于仿真命令、破坏和突变的故障注入技术,最后对这3种技术进行了简单的比较。

基于VHDL的故障注入工具的研究

基于VHDL的故障注入技术是一种验证系统可信性的有效方法,构造基于VHDL的故障注入工具是故障注入研究的一个重要组成部分。对基于VHDL的故障注入技术进行了研究,详细描述了该故障注入工具的结构和主要模块功能,并进行故障注入实验,分析和计算故障的激活率、探测率、恢复率。故障注入工具可用于对中等复杂度的VHDL模型进行故障注入,对容错系统的容错机制进行分析和验证。