A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes
A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes
复制标题
基于元建模的故障注入过程自动生成方法
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
T. Kruse
中科院分区：
文献类型：
--
作者：
Bogdan;M. Chaari;W. Ecker;T. Kruse
新出现的安全标准正在推动片上系统制造商为其系统开发更好的错误检测和纠正机制以及验证环境。模型中的故障注入是用于验证芯片老化和安全关键特征(例如，抗辐射敏感性的弹性)的验证环境的一种增强。SystemC提供了在不同抽象级别(例如，寄存器传输级别、事务级别建模)上设计功能模型的能力。使用SystemC故障注入工具(SCFIT)，在不修改原始模型的情况下将故障注入到SystemC模型中。在本文中，我们提出了SCFIT Gen，它是SCFIT的一个附加组件，它自动生成关于所生成的故障注入过程的SCFIT用户定义文件和文档。故障注入；系统级验证；片上系统；SystemC
Newly emerging safety standards are driving system-on-chip manufacturers to develop better errordetection and correction mechanisms as well as verification environments for their systems. Fault injection in models is one enhancement for verification environments with which chip aging and safety-critical features (e.g., resilience against radiation sensitivity) are verified. SystemC offers the ability to design functional models on different abstraction levels (e.g., register transfer level, transaction-level modeling). Using the SystemC Fault-Injection Tool (SCFIT), faults are injected into SystemC models without modifying the original models. In this paper, we propose SCFIT Gen, an add-on for SCFIT, which automatically generates the SCFIT user-defined files and documentation about the generated fault-injection processes. Keywords—fault injection; system-level verification; system-on-chip; SystemC