MULTISIGNAL FLOW-GRAPHS - A NOVEL-APPROACH FOR SYSTEM TESTABILITY ANALYSIS AND FAULT-DIAGNOSIS

In this paper, we present a comprehensive methodology for a formal,but intuitive, cause-effect dependency modeling using multi-signal directed graphs that correspond closely to hierarchical system schematics and develop diagnostic strategies to isolate faults in the shortest possible time without making the unrealistic single fault assumption. A key feature of our methodology is that our models lend naturally to real-world necessities, such as system integration and hierarchical troubleshooting.