A Formal Condition to Stop an Incremental Automatic Functional Diagnosis

  • Authors:
  • Luca Amati;Cristiana Bolchini;Fabio Salice;Federico Franzoso

  • Affiliations:
  • -;-;-;-

  • Venue:
  • DSD '10 Proceedings of the 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

iAF2D (incremental Automatic Functional Fault Detective) is a methodology for the identification of the faulty component in a complex system using data collected from a test session. It is an incremental approach based on a Bayesian Belief Network, where the model of the system under analysis is extracted from a faulty signature description. iAF2D reduces time, cost and efforts during the diagnostic phase by implementing a step-by-step selection of the tests to be executed from the set of available tests. This paper focuses on the evolution of the BBN nodes probabilities, to define a stop criterion to interrupt the diagnosis process when additional test outcomes would not provide further useful information for identifying the faulty candidate. Methodology validation is performed on a set of experimental results.