Fault injection is a widely used method for evaluating dependable systems. The intention of this paper is to compare typical fault models used for fault injection regarding their accuracy in predicting the reliability of the system. For this purpose, we set up an experiment by injecting faults in a VHDL model of the DP32-processor at gate-level, pin-level and at register-transfer level. The exp...

With the emergence of new massively parallel systems in the High Performance Computing area allowing scientific simulations to run on thousands of processors, the mean time between failures of large machines is decreasing from several weeks to a few minutes. The ability of hardware and software components to handle these singular events called process failures is therefore getting increasingly ...

Fault Detection and Isolation (FDI) problems are here considered for linear systems with faults and disturbances. We design a set of observer-based residuals, in such a way that the transfer from the disturbances to the residuals is zero and the transfer from the faults to the residuals allows fault isolation. We are interested in obtaining a transfer function from faults to residuals with eith...

We propose a diagnostic algorithm for the case where a distributed system specification (implementation) is given in the form of communicating finite state machines (CFSMs). Such an algorithm localizes the faulty transition in the distributed system once the fault has been detected. It generates, if necessary, additional diagnostic test cases which depend on the observed symptoms and which perm...

This paper considers the robust fault detection and isolation (FDI) problem for uncertain linear timeinvariant (LTI) systems. An FDI filter minimizes the sensitivity of the residual signal to disturbances and modeling errors subject to the constraint that the transfer matrix function from the faults to the residual is close to a diagonal matrix (for fault isolation). A solution of the optimizat...

Transmission lines are designed to transfer electric power from source locations to distribution networks. However, their lengths are exposed to various faults. Protective relay and fault recorder systems, based on fundamental power frequency signals, are installed to isolate the faulty line and provide the fault position. However, the error is high especially in transmission lines. This work i...

This paper describes a technique which uses the Differential Non Linearity (DNL) test data for fault location and identification of the analog components of a flash ADC. In a flash ADC, a fault in the analog subcircuit is uniquely reflected in the transfer function and therefore also in DNL data.This property is exploited to locate a fault and to identify the error value in analog components of...

The reliable execution of a mobile agent is a very important design issue in building a mobile agent system and many fault-tolerant schemes have been proposed so far. Security is a major problem of mobile agent systems, especially when money transactions are concerned . Security for the partners involved is handled by encryption methods based on a public key authentication mechanism and by secr...