Characterization of (t/sup 1//t/sup 1/2/)/s diagnosability
Kaiyuan Huang, Jiangfeng Xu · 2003
The authors have previously proposed a three-valued model, which admits the transmission of diagnostic data via a fault-free communication unit in a faulty subsystem, making available more test links than the original. Based on this model, a new diagnosability measure, (t/sup 1//t/sup 1/2/)/s diagnosability, is introduced. A t/sup 1//t/sup 1/2//s -diagnosable system ensures the location of any fault set to within a set of no more than s subsystems provided it contains at most t/sup 1/ faulty subsystems with faulty communication units and at most t/sup 1/2/ faulty ones with fault-free communication units. Symmetric and asymmetric test invalidation are considered. In the light of multiple-fault-set consistency, (t/sup 1//t/sup 1/2/)/s diagnosability, either with symmetric invalidation or with asymmetric invalidation, is fully characterized.>