Diagnostic Reasoning within Sequential Circuits. Volume 1

Abstract

A model-based diagnostic reasoning system makes use of a design model of the structure and behavior of a circuit to diagnose faults within the circuit. In this volume of the FY91 final report for MOIE Project 7020, we describe the Generic Model-based Diagnostic System (GMODS), which can use VHSIC Hardware Description Language (VHDL) models to diagnose single and multiple faults within digital sequential circuits. This volume describes the overall GMODS approach, contrasts the capabilities and processing performance of two GMODS diagnostic algorithms (a minimal envisionment algorithm and a conflict set algorithm), and concludes that the conflict set algorithm is most appropriate for diagnosing sequential circuits.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA248055

Entities

People

  • Lester J. Holtzblatt
  • Maurine J. Neiberg
  • Richard A. Marcotte
  • Richard L. Piazza

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force Facilities
  • Artificial Intelligence
  • Circuit Boards
  • Databases
  • Digital Circuits
  • Electronics
  • Engineering
  • Expert Systems
  • Failure Mode And Effect Analysis
  • Language
  • Liquid Oxygen
  • Scheduling (Production)
  • Sequences
  • Simulations
  • Standards
  • Statistics
  • Time Intervals

Readers

  • Artificial Intelligence
  • Integrated Circuit Design and Technology.
  • Software Engineering.

Technology Areas

  • AI & ML