Overcoming limitations of model-based diagnostic reasoning systemsThe development of a model-based diagnostic system to overcome the limitations of model-based reasoning systems is discussed. It is noted that model-based reasoning techniques can be used to analyze the failure behavior and diagnosability of system and circuit designs as part of the system process itself. One goal of current research is the development of a diagnostic algorithm which can reason efficiently about large numbers of diagnostic suspects and can handle both combinational and sequential circuits. A second goal is to address the model-creation problem by developing an approach for using design models to construct the GMODS model in an automated fashion.
Document ID
19900023573
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Holtzblatt, Lester J. (Mitre Corp. Bedford, MA, United States)
Marcotte, Richard A. (Mitre Corp. Bedford, MA, United States)
Piazza, Richard L. (Mitre Corp. Bedford, MA, United States)