Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
Walter C. Hamscher · 1989
Model-based troubleshooting relies on having a representation of devices that can provide predictions about their behavior based on the observations that the troubleshooter makes. For complex devices such as digital circuit boards, the cost of the prediction process is a major obstacle to practical model-based troubleshooting. But increasing the efficiency of making predictions usually means sacrificing precision — thereby sacrificing diagnostie resolution so it is important to have a representation that can provide predictions that are derived from cheap observations and that are yet precise enough so that device misbehaviors will be detectable. This paper presents an implemented representation of board-scale digital circuits that emphasizes the importance of appropriate temporal abstractions for coping with behavioral complexity. 1