This paper investigates the degradation in diagnosability of bridging faults caused by situations of active feedback and logically unresolvable intermediate values under different fault modeling assumptions. The experimental results show that active feedback may reduce the fault coverage by as much as 7% for stuck-at test sets and realistic bridging fault sets. A test generation method for full...

We compare the accuracy, speed and applicability to test generation of existing bridge fault modeling solutions. We identify some previously undiscussed anomalous circuit behaviors, and describe the extent to which they a ect bridge fault simulation and testing. Finally, we present a system for evaluating bridge fault models in a test generation environment, and we present an experiment that pr...

This paper addresses the problem of fault-tolerant robust supervisory control of discrete event systems (DES’s) with model uncertainty. Necessary and sufficient conditions for the existence of a fault-tolerant robust supervisor are derived. If the conditions are satisfied, then tolerable fault event sequences embedded in the system can be achieved. The results obtained are applied to design, mo...

The paper addresses the problem of model-based fault detection. Synthesis techniques for the design of fault detection filters are developed. Fault sensitivity objectives and time-domain constraints are handled in the design procedure, while guaranteeing robustness to noise, disturbances and modeling errors. The design method involves linear matrix inequality (LMI) optimization techniques and t...

Process Variation (PV) is increasingly threatening the reliability of Networks-on-Chips. Thus, various resilient router designs have been recently proposed and evaluated. However, these evaluations assume random fault distributions, which result in 52%-81% inaccuracy. We propose an accurate circuit-level fault-modeling tool, which can be plugged into any system-level NoC simulator, quantify the...