Date of Award
12-1992
Document Type
Thesis
Degree Name
Master of Science in Computer Engineering
Department
Department of Electrical and Computer Engineering
First Advisor
Gregg H. Gunsch, PhD
Abstract
Model-based reasoning permits diagnostic applications to be written without waiting for someone to become an 'expert' of the system. For model-based diagnostics, there must be a model to reason from. This thesis explores using a VHDL description of the system as that model. A system based around a VHDL interpreter was written specifically for a model-based diagnostic algorithm. Currently, the diagnostic system uses an algorithm by Dries. This algorithm was derived from Scarl's Full Consistency Algorithm. The system was designed to be modular so that different diagnostic techniques could be implemented. It is divided into three parts: a VHDL parser, a VHDL interpreter, and a set of routines to implement Dries' Diagnose algorithm. The system can find stuck-at faults on combinatorial digital circuits.
AFIT Designator
AFIT-GCE-ENG-92D-03
DTIC Accession Number
ADA259122
Recommended Citation
Griffin, David R., "A VHDL Interpreter for Model-Based Diagnoses" (1992). Theses and Dissertations. 7083.
https://scholar.afit.edu/etd/7083
Comments
The author's Vita page is omitted.