Various methods of generating test cases based on Boolean specijications have previously been proposed. These methods are fault-based in the sense that test cases are aimed at detecting particular types of faults. Empirical results suggest that these methods are good at detecting particular types of faults. However, there is no information on the ability of these test cases in detecting other t...

The problem of fault tolerance in cooperative manipulators rigidly connected to a solid object is addressed in this paper. Four faults are considered: free-swinging joint faults, locked joint faults, incorrect measured joint position, and incorrect measured joint velocity. The faults are first detected by a fault detection and isolation system. Freeswinging and locked joint faults are isolated ...

ÐThis paper begins with an overview of realistic fault models for dual-port memories, divided into single-port faults and faults unique for dual-port memories. The latter faults cannot be detected with the conventional single-port memory tests; they require special tests. A precise notation for all faults, such that ambiguities and misunderstandings will be prevented, has been emphasized. Next,...

introduction two main principal aspects for the genesis of porphyry copper deposits have been determined. the first genetic model concerns the petrologic and geochemical processes and the other relates the genesis to crustal deformation and geodynamic conditions (kesler, 1997). recent studies (e.g., padilla garza et al., 2001) show that the generation and emplacement of porphyry copper deposits...

We study the problem of testing whether a given set of sequenced jobs can tolerate transient faults. We present efficient algorithms for this problem in several fault models. A fault model describes what types of faults are allowed and specifies assumptions on their frequency. Two types of faults are considered: hidden faults, that can only be detected after a job completes, and exposed faults,...

To guarantee the temporal correctness of a digital circuit a set of multiple path delay faults called primitive faults need to be tested. Primitive faults can contain one or more faulty paths. Existing techniques can identify and test primitive faults containing up to two or three paths. Identifying and testing primitive faults that consist of a larger number of paths is impractical for large d...

A fault fj is said to dominate another fault fi if all tests for fi detect fj . When two faults dominate each other, they are called equivalent. Dominance and equivalence relations among faults around a Boolean gate are called \structural" and are used for fault collapsing in large circuits. Some fault equivalences, that cannot be determined by the structural analysis, can be found by \function...

The substantial growth in the use of automated in-process sensing technologies creates great opportunities for manufacturers to detect abnormal manufacturing processes and identify the root causes quickly. It is critical to locate and distinguish two types of faults – process faults and sensor faults. The procedures to monitor and diagnose process and sensor mean shift faults are presented with...

As digit~l circuits grow in complexity, and as they are used in more and more critical applications, their reliability becomes an important consideration. This directs the attention of researchers involved in this field to two basic questionsfirst, how to design more reliable systems; second, how can something be said about the reliability of a particular system? Causes leading to permanent fai...