Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Hi-index | 0.02 |
Parity checking is a common error detection scheme used in electronic circuits. We describe a model-based approach to building a system, TRSHOOT, that troubleshoots parity errors in a circuit. Given the appropriate structural and behavioral descriptions of a circuit and the symptoms of its failure, the system generates a list of plausible candidates responsible for the failure by applying suitable general principles. The candidate generation process comprises of three sub-processes: indictment, exoneration and extended exoneration. All these processes are discussed in some detail. A high level strategy is shown to provide useful guide to the troubleshooting process.