This paper presents a new signature monitoring technique, CFCSS (control flow checking by
software signatures); CFCSS is a pure software method that checks the control flow of a …

This paper proposes a pure software technique" error detection by duplicated
instructions"(EDDI), for detecting errors during usual system operation. Compared to other …

An important step in the development of dependable systems is the validation of their fault
tolerance properties. Fault injection has been widely used for this purpose, however with the …

Over the last few years, an increasing number of safety-critical tasks have been demanded
of computer systems. In this paper, a software-based approach for developing safety-critical …

Errors in computing systems can cause abnormal behavior and degrade data integrity and
system availability. Errors should be avoided especially in embedded systems for critical …

Pedagogues such as the Personal Software Process (PSP) shift metrics definition,
collection, and analysis from the organizational level to the individual level. While case study …

A control flow fault occurs when a processor fetches and executes an incorrect next
instruction. Executable assertions, ie, special instructions that check some invariant …

This paper describes and compares three physical fault injection techniques—heavy-ion
radiation, pin-level injection, and electromagnetic interference—and their use in the …

This paper presents an empirical investigation on the soft error sensitivity (SES) of
microprocessors, using the picoJava-II as an example, through software simulated fault …

It is hard to shield systems effectively from transient faults (fault avoidance techniques). So
some other means must be employed to assure appropriate levels of transient fault …