We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun’s ZFS, a modern commercial offering with numerous reliability mechanisms. Through careful and thorough fault injection, we show that ZFS is robust to a wide range of disk faults. We further demonstrate that ZFS is less resilient to memory corruption, which can lead to corru...

In this work different VHDL-based fault injection techniques (simulator commands, saboteurs and mutants) have been compared and applied in the validation of a fault-tolerant system. Some extensions and implementation designs of these techniques have been introduced. As a complement of these injection techniques, a wide set of fault models (including several non-usual models) have been implement...

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 a...

We present an analytical technique that uses fault injection data for estimating the coverage of concurrent error detection mechanisms in microprocessors. A major problem in such estimations is that the coverage depends on the program executed by the microprocessor as well as the input sequence to the program. We propose a method that predicts the error coverage for a specified input sequence b...

In this paper we present a fault-injector tool, named JAFL (Java Fault Loader), which was developed with the target of testing the fault-tolerance mechanisms of Grid and Web applications. Along with the JAFL internals description, we will present some results collected from synthetic experiments where we used both our injector and fault detection mechanisms. With these results we expect to prov...

CAN is a well known fieldbus standard used in safety critical applications of embedded systems. However, steadily increasing amount of exchanged information in such systems has led to the use of Switched Ethernet like solutions. Mixed CAN/Switched Ethernet architectures allow to bypass CAN limitations while preserving the widely used CAN technology. In order to use this kind of architecture in ...

In this paper we present improvements to the differential fault analysis (DFA) of the stream cipher Trivium proposed in the work of M. Hojśık and B. Rudolf. In particular, we optimize the algebraic representation of obtained DFA information applying the concept of Mutants, which represent low degree equations derived after processing of DFA information. As a result, we are able to minimize the ...

Testing applications involves the creation of test sets, their execution, management and adequacy assessment. An extensible framework, called RiOT, has been developed to allow the implementation of tools for test coverage measurement, test execution management and fault-based testing of distributed Java applications. Test coverage is measured in terms of elements covered in the interface descri...

This paper addresses the problem of the validation of fault tolerance mechanisms during the design of fault-tolerant computing systems. It presents an integrated environment for applying fault injection into simulation models encompassing various levels of abstraction. First, the expected benefits of the approach are clearly identified in relation to other fault injection methods available. The...