de Aguiar Geissler et al., 2014 - Google Patents
Soft error injection methodology based on QEMU software platformde Aguiar Geissler et al., 2014
- Document ID
- 5614460773638551036
- Author
- de Aguiar Geissler F
- Kastensmidt F
- Souza J
- Publication year
- Publication venue
- 2014 15th Latin American Test Workshop-LATW
External Links
Snippet
Fault tolerance techniques implemented at software level have been widely studied as an approach to improve reliability in processor-based systems. This paper presents a fault injection software-based methodology to emulate soft errors in processors running …
- 238000000034 method 0 title abstract description 33
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
- G06F17/5022—Logic simulation, e.g. for logic circuit operation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3466—Performance evaluation by tracing or monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
- G06F2217/70—Fault tolerant, i.e. transient fault suppression
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
- G06F2217/68—Processors
Similar Documents
Publication | Publication Date | Title |
---|---|---|
de Aguiar Geissler et al. | Soft error injection methodology based on QEMU software platform | |
Parasyris et al. | Gemfi: A fault injection tool for studying the behavior of applications on unreliable substrates | |
Lin et al. | Effective post-silicon validation of system-on-chips using quick error detection | |
Aarno et al. | Software and system development using virtual platforms: full-system simulation with wind river simics | |
Chang et al. | Evaluating and accelerating high-fidelity error injection for hpc | |
Kim et al. | DESSERT: Debugging RTL effectively with state snapshotting for error replays across trillions of cycles | |
Pattabiraman et al. | Dynamic derivation of application-specific error detectors and their implementation in hardware | |
Guan et al. | Design, use and evaluation of p-fsefi: A parallel soft error fault injection framework for emulating soft errors in parallel applications | |
Ferraretto et al. | Simulation-based fault injection with QEMU for speeding-up dependability analysis of embedded software | |
Herklotz et al. | An empirical study of the reliability of high-level synthesis tools | |
Santos et al. | Reliability analysis of a fault-tolerant RISC-V system-on-chip | |
Vallero et al. | Cross-layer reliability evaluation, moving from the hardware architecture to the system level: A CLERECO EU project overview | |
Sari et al. | A fault injection platform for the analysis of soft error effects in FPGA soft processors | |
Rudrakshi et al. | Implementation of FPGA based fault injection Tool (FITO) for testing fault tolerant designs | |
Aponte-Moreno et al. | Evaluation of fault injection tools for reliability estimation of microprocessor-based embedded systems | |
Velasco et al. | KITO tool: A fault injection environment in Linux kernel data structures | |
Guan et al. | Empirical studies of the soft error susceptibility ofsorting algorithms to statistical fault injection | |
Pournaghdali et al. | VHDLSFI: A simulation-based multi-bit fault injection for dependability analysis | |
Aponte-Moreno et al. | Reliability evaluation of RISC-V and ARM microprocessors through a new fault injection tool | |
Di Guglielmo et al. | Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software | |
Bartsch et al. | A HW/SW cross-layer approach for determining application-redundant hardware faults in embedded systems | |
Du et al. | FFI4SoC: a fine-grained fault injection framework for assessing reliability against soft error in SoC | |
Tuzov et al. | BAFFI: a bit-accurate fault injector for improved dependability assessment of FPGA prototypes | |
Fiore | Design of a fault tolerant RISC-V instruction execute stage for safety critical applications | |
Guan et al. | Addressing statistical significance of fault injection: Empirical studies of the soft error susceptibility |