High-Accuracy Software Fault Injection in Source Code with Clang

2019 ◽  
Author(s):  
Ulrich Thomas Gabor ◽  
Daniel Ferdinand Siegert ◽  
Olaf Spinczyk
Keyword(s):  
Fault Injection ◽  
Source Code ◽  
High Accuracy ◽  
Software Fault

Software Fault Injection Tool

2005 ◽  
Author(s):  
P.K. Tapadiya ◽  
D.R. Avresky
Keyword(s):  
Fault Injection ◽  
Software Fault

Measuring and Assessing Tools

2009 ◽  
pp. 301-325
Author(s):  
Vincenzo De Florio
Keyword(s):  
Fault Injection ◽  
Source Code ◽  
Field Testing ◽  
Verification And Validation ◽  
Code Instrumentation

As mentioned in Chapter I, a service’s dependability must be justified in a quantitative way and proved through extensive on-field testing and fault injection, verification and validation techniques, simulation, source-code instrumentation, monitoring, and debugging. An exhaustive treatment of all these techniques falls outside the scope of this book, nevertheless the author feels important to include in this text an analysis of the effect on dependability of some of the methods that have been introduced in previous chapters.

scholarly journals A k-Distribution-Based Spectral Module for Radiation Calculations in Multi-Phase Mixtures

2009 ◽  
Author(s):  
Gopalendu Pal ◽  
Anquan Wang ◽  
Michael F. Modest
Keyword(s):  
State Of The Art ◽  
Source Code ◽  
Computational Cost ◽  
High Accuracy ◽  
Grid Structure ◽  
Participating Media ◽  
Flow Solver ◽  
Domain Of Applicability ◽  
Code Module ◽  
Multi Phase

k-distribution-based approaches are promising models for radiation calculations in strongly nongray participating media. Advanced k-distribution methods were found to achieve close-to benchmark line-by-line (LBL) accuracy for strongly inhomogeneous multi-phase media accompanied by several orders of magnitude smaller computational cost. In this paper, a k-distribution-based portable spectral module is developed, incorporating several state-of-the-art k-distribution methods along with compact and high-accuracy databases of k-distributions. The module construction is flexible — the user can choose among various k-distribution methods with their relevant k-distribution databases, to carry out accurate radiation calculations. The spectral module is portable, such that it can be coupled to any flow solver code with its own grid structure, discretization scheme, and solver libraries. This open source code module is made available for free for all noncommercial purposes. This article outlines in detail the design and the use of the spectral module. The k-distribution methods included in the module are briefly described with a discussion of their advantages, disadvantages and their domain of applicability. Examples are provided for various sample radiation calculations in multi-phase mixtures using the new spectral module and the results are compared with LBL calculations.

Computing reliability: On the differences between software testing and software fault injection techniques

2017 ◽  
Vol 50 ◽  
pp. 102-112 ◽  
Author(s):  
Maha Kooli ◽  
Firas Kaddachi ◽  
Giorgio Di Natale ◽  
Alberto Bosio ◽  
Pascal Benoit ◽  
...  
Keyword(s):  
Software Testing ◽  
Fault Injection ◽  
Injection Techniques ◽  
Software Fault

Software Fault Injection Testing of the Embedded Software of a Satellite Launch Vehicle

2013 ◽  
Vol 32 (5) ◽  
pp. 38-44 ◽  
Author(s):  
A. Samuel ◽  
N. Jayalal ◽  
B. Valsa ◽  
C. A. Ignatious ◽  
J. Zachariah
Keyword(s):  
Fault Injection ◽  
Embedded Software ◽  
Launch Vehicle ◽  
Software Fault ◽  
Satellite Launch Vehicle

Verification of Fault Control Measures Based on Fault Injection for MCU Control System

2014 ◽  
Vol 484-485 ◽  
pp. 325-331
Author(s):  
Dao Sen Niu ◽  
Xiao Dong Liu ◽  
Shou Qun Sun ◽  
Yang Liu
Keyword(s):  
Control System ◽  
Fault Diagnosis ◽  
Fault Injection ◽  
Short Circuit ◽  
Experimental Results ◽  
Control Measures ◽  
Level Variation ◽  
Software Fault ◽  
Hardware Faults ◽  
Software Measures

To verify the validity of fault control measures, a verification platform with software fault injection and hardware fault injection is developed to conduct fault diagnosis measures for MCU control system. For the faults occurring in the internal units of a controller, program debugger is employed to simulate software or hardware faults by varying the data; for the faults occurring in peripheral circuits, a circuit of fault-settings is employed to simulate hardware faults, i.e., open-/short-circuit and electrical level variation. This verification platform is applied to evaluate software measures to control the faults/errors in accordance with IEC60335/IEC60730/UL1998/CSA22.2.08, and a case of induction cooker is presented shows how it works. Experimental results show that the verification platform runs stably and accurately, and has a big value in practice.

Sign in / Sign up

Export Citation Format

Share Document