A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes

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

[1]  Rolf Drechsler,et al.  Safety evaluation of automotive electronics using Virtual Prototypes: State of the art and research challenges , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[2]  Alfredo Benso,et al.  FAUST: fault-injection script-based tool , 2003, 9th IEEE On-Line Testing Symposium, 2003. IOLTS 2003..

[3]  Sebastian Ohnewald,et al.  Debug Patterns for Efficient High-level SystemC Debugging , 2007, 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems.

[4]  Torsten Dittel,et al.  How to "Survive" a Safety Case According to ISO 26262 , 2010, SAFECOMP.

[5]  Bashir M. Al-Hashimi,et al.  SystemC-Based Minimum Intrusive Fault Injection Technique with Improved Fault Representation , 2008, 2008 14th IEEE International On-Line Testing Symposium.

[6]  Luca Fossati,et al.  ReSP: A Nonintrusive Transaction-Level Reflective MPSoC Simulation Platform for Design Space Exploration , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Richard M. Stallman,et al.  Debugging with GDB: The GNU Source-Level Debugger , 1999 .

[8]  Sébastien Tixeuil,et al.  An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids , 2006 .

[9]  Wolfgang Ecker,et al.  The metamodeling approach to system level synthesis , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[10]  Frank Ghenassia,et al.  Transaction Level Modeling with SystemC , 2005 .