In this paper, we propose a method for diagnostic test derivation when the system specification and implementation are given in the form of two communicating finite state machines and at most a single component machine can be faulty. The method enables to decide if it is possible to identify the faulty machine in the system, once faults have been detected in a system implementation. If this is ...

In this paper an on-line multiple faults detection approach is first of all proposed. For efficiency, an optimal design of membership functions is required. Thus, the proposed approach is improved using Particle Swarm Optimization (PSO) technique. The inputs of the proposed approaches are residuals representing the numerical evaluation of Analytical Redundancy Relations. These residuals are gen...

COMSIM is a fault simulator for combinational circuits which can efficiently handle various gate level fault models. Stuck-at faults, function conversions, bridging faults, transition faults as well as multiple faults of all types and faults with additional fault detection conditions, can be simulated in one pass. This offers a practical approach to solve the conflict between the accuracy of fa...

In this paper, we address the problem of diagnosing multiple faults in dynamically changing systems. Currently used popular techniques such as codebook and active probing suffer from limitations imposed by their ”static”, non-temporal nature, and single-fault assumptions. We propose a very simple, linear-time multifault scheme, capable of tracking system changes and diagnosing multiple faults m...

A new framework for model based diagnosis is presented using ideas from AI, FDI, and statistical hypothesis testing. The isolation mechanism is based on AI methods, and the main advantage is that multiple faults are handled implicitly. Thus, no special care for isolation of multiple faults is needed. The methods for residual generation, developed in the field of control theory (FDI), can within...

Case-based diagnosis handling multiple faults is still a challenging task. In this paper we present methods for handling multiple faults, embedded in the standard CBR cycle. The approaches extend it by case decomposition and combination strategies which generate candidate cases for case reuse. The context of our work is to supplement a medical documentation and consultation system by CBR techni...

We describe fault tolerant routing of multi cast messages in mesh based wormhole switched multicom puters With the proposed techniques multiple convex faults can be tolerated The fault information is kept locally each fault free processor needs to know the status of the links incident on it only Furthermore the proposed tech niques are deadlock and livelock free and guarantee deliv ery of messa...

We describe fault-tolerant routing of multi-cast messages in mesh-based wormhole-switched multicom-puters. With the proposed techniques, multiple convex faults can be tolerated. The fault information is kept locally| each fault-free processor needs to know the status of the links incident on it only. Furthermore, the proposed techniques are deadlock-and livelock-free and guarantee delivery of m...

Multistage Interconnection Networks (MIN) with multiple outlets are networks which can support higher bandwidth than those of nonblocking networks by passing multiple packets to the same destination. Fault recovery mechanisms are proposed for two of such networks (TBSF/PBSF) with the best use of their inherent fault tolerant capability. With these mechanisms, on-the-fly fault recovery is possib...