Using VHDL design models to support diagnosis

Richard A. Marcotte; Richard L. Piazza; Michael S. Sayko

doi:10.1117/12.141736

23 March 1993 Using VHDL design models to support diagnosis

Richard A. Marcotte, Richard L. Piazza, Michael S. Sayko

Proceedings Volume 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry; (1993) https://doi.org/10.1117/12.141736
Event: Optical Engineering and Photonics in Aerospace Sensing, 1993, Orlando, FL, United States

Abstract

The generic model-based diagnostic system (GMODS) can use VHSIC hardware description language (VHDL) design models of structure and behavior to diagnose faults within digital sequential circuits. To produce a diagnosis, GMODS makes assumptions about the diagnostic health of each circuit component, propagates values through the design model over multiple clock intervals, and compares predicted and observed output values to identify sets of assumptions that explain the observations. In this paper, we describe the overall GMODS approach and project results, with an emphasis on the GMODS modeling techniques and VHDL interface. We also examine remaining issues to be addressed before GMODS can be applied on real applications.

Citation Download Citation

Richard A. Marcotte, Richard L. Piazza, and Michael S. Sayko "Using VHDL design models to support diagnosis", Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); https://doi.org/10.1117/12.141736

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available