AESTRACT We introduce a new fault representation mechanism for digital circuits based on fault tuples. A fault tuple is a simple 3-element condition for a signal line, its value, and clock cyclle constraint. AND-OR expressions of fault tuples are used to represent arbitrary misbehaviors. A fault simulator based on fault tuples was used to conduct experiments on benchmark circuits. Simulation re...

A fault tolerant wormhole routing algorithm on mesh-connected processors is proposed. The proposed algorithm is based on the solid fault model and allows the fault polygons to be overlapped. The algorithm compares the position of fault region relative to current channel with the fault direction eld of a misrouted message to route around overlapped fault polygons. A node deactivating algorithm t...

A novel fault phase selector for double-circuit transmission lines is presented. The fault type is determined with the superimposed components and steady state components of fault voltage. According to the determined fault type, auxiliary criteria based on the magnitude and phase difference of fault phase current is applied to judge whether inter-line fault happens or not. If inter-line fault h...

This paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection test sequence aimed at evaluating the coverage of the fault tolerance process are presented. Emphasis is given to the derivation of experimental...

A new fault list reduction approach is proposed for use in the first stage of a two-stage bridge fault diagnosis procedure. Modified structural analysis and layout extraction procedures are performed to obtain a reduced realistic bridge fault list that can be used in the second stage, which employs diagnostic fault simulation. The fault list reduction approach can reduce the final candidate bri...

In diagnostic testing faults detectable by test vectors are partitioned into groups. This partitioning is such that a fault is distinguishable from faults in all other groups, but is indistinguishable from those in its own group. Diagnostic fault coverage (DC) is defined as the number of fault groups divided by the total number of faults. We present a new diagnostic fault simulation algorithm t...

Teed lines are widely used in rural power networks in China. The paper theoretically analyzes the voltages and currents when a single line-to-ground fault occurs, constructs a new mathematical model for fault location on the teed lines, performs corresponding MATLAB simulations. Simulation results show that currents near the source (bus M) are almost independent of fault positions and fault res...

Context: Business Process Execution Language (BPEL) is a widely recognized executable service composition language, which is significantly different from typical programming languages in both syntax and semantics, and especially shorter in program scale. How to effectively locate faults in BPEL programs is an open and challenging problem. Objective: In this paper, we propose a fault localizatio...

We investigate the spatial pattern of surface creep and off-fault deformation along the southern segment of the San Andreas Fault using a combination of multiple interferometric synthetic aperture radar viewing geometries and survey-mode GPS occupations of a dense array crossing the fault. Radar observations from Envisat during the period 2003–2010 were used to separate the pattern of horizonta...

Process groups are a common abstraction for fault-tolerant computing in distributed systems. We present a security architecture that extends.Abstract Concerns about both security and fault-tolerance have had an important. Tion of fault tolerance will face some of the same problems, and benefit from. The security testing prototype is.A Secure and Fault-tolerant framework for Mobile. Of Computer ...