Accession Number : ADA259122


Title :   A VHDL Interpreter for Model-Based Diagnoses


Descriptive Note : Master's thesis


Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING


Personal Author(s) : Griffin, David R


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a259122.pdf


Report Date : Dec 1992


Pagination or Media Count : 326


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.


Descriptors :   *ALGORITHMS , *ARTIFICIAL INTELLIGENCE , MODELS , REASONING , COMPUTER LOGIC , CIRCUITS , INTERPRETERS , PARSERS , FAULTS , COMPUTER AIDED DIAGNOSIS , COMPUTER PROGRAMMING , COMPUTER ARCHITECTURE , THESES , CONSISTENCY


Subject Categories : Computer Programming and Software
      Computer Hardware


Distribution Statement : APPROVED FOR PUBLIC RELEASE