Fault diagnosis is a key component of this approach, requiring an accurate determination of the health and state of the system. An imprecise state assessment can lead to catastrophic failure due to an optimistic diagnosis, or conversely, result in underutilization of resources because of a pessimistic diagnosis. Our diagnosis approach, unlike existing techniques, does not require administered testing to gather syndrome information but is based on monitoring the system message traffic among redundant system functions. We present comprehensive on-line diagnosis algorithms capable of handling a continuum of faults of varying severity at the node and link level. Not only are the proposed algorithms on-line in nature, but are themselves tolerant to faults in the diagnostic process.
Formal analysis is presented for all proposed algorithms.
These proofs offer both insight into the algorithm operations and facilitate a rigorous formal verification of the developed algorithms. All Rights Reserved. The full text of is available to members of the IEEE Computer Society who have an online subscription and an e-account .