We propose a new method to identify and test primitive faults in combinational circuits described as multi-level or two-level netlists. A primitive fault is a multiple path delay fault for which none of the single paths contained in the fault is robustly or non-robustly testable while the presence of the fault can degrade the circuit performance. Identiication and testing of primitive faults is...

The influence of computer systems in human life is increasing and thereby increases the need for having reliable, robust and real-time services of computer systems. Avoidance of any catastrophic consequences due to faults in such systems is the main objective. This paper addresses the problem of finding a probabilistic measure of schedulability of real-time systems tasks in the presence of mult...

If the variables used for a checkpointing algorithm have data faults, the existing checkpointing and recovery algorithms may fail. In this paper, self-stabilizing data fault detecting and correcting, checkpointing, and recovery algorithms are proposed in a ring topology. The proposed data fault detection and correction algorithms can handle data faults; at most one per process, but in any numbe...

Unbalance, fatigue crack and rotor-stator rub are the three common and important faults in a rotor-bearing system. They are originally interconnected each other, and their vibration behaviors do often show strong nonlinear and transient characteristic, especially when more than one of them coexist in the system. This article is aimed to study the vibration response of the rotor system in presen...

A distributed system may have a number of separate interfaces called ports and in testing it may be necessary to have a separate tester at each port. This introduces a number of issues, including the necessity to use synchronised test sequences and the possibility that output-shifting faults go undetected. This paper considers the problem of generating a minimal synchronised test sequence that ...

Usually, robotic fault-tolerance techniques refer to methods to isolate and treat faults individually. In this work we propose high level (planning) techniques for a new approach, where multiple, possibly heterogeneous devices in a robotic system cooperate to diagnose faults and to take over a faulty device’s functions in the system. This technique uses pre-defined “replacement plans” to deal w...

This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framework, we first define a test of minimal size that can isolate multiple simultaneous faults of an arbitrary nature. Second, we prove complexity results for multiplefault tests of minimal size in propositional system model...

The interconnection network consumes the majority of die area in an FPGA. Presented is a scalable manufacturing test method for all SRAM-based FPGAs, able to detect multiple interconnect delay faults, multiple bridging faults, or both. An adjustable maximum sensitivity to resistive open defects of several kilo-ohms is achieved. A bridging fault that causes a signal transition to occur on at lea...

The satellite fault diagnosis has an important role in enhancing the safety, reliability, and availability of the satellite system. However, the problem of enormous parameters and multiple faults makes a challenge to the satellite fault diagnosis. The interactions between parameters and misclassifications from multiple faults will increase the false alarm rate and the false negative rate. On th...

This paper is a review of the existing testing algorithms for reversible circuits. Although a great amount of effort has been made on finding means to build reversible gates and circuits, little research has been done on the modeling the faults of reversible circuits according to their process technology and consequently on the development of testing algorithms for reversible circuits. The exis...