BACINOL: Bayesian Circuit Analysis by Topology

Title

BACINOL: Bayesian Circuit Analysis by Topology

 Author

Wilson, M.

Contributor

Van Gemund, A.J.C. (mentor)

Faculty

Electrical Engineering, Mathematics and Computer Science

 Department

Software Technology

 Date

2010-02-24

 Abstract

Due to the high availability demands placed on modern hardware systems and the high cost associated with downtime, finding and fixing faults in these systems is an important problem. Unfortunately, the complexity of these systems is very large, making this problem very difficult. While recent innovations in the field of model-based diagnosis have brought increased performance, making it a viable method for diagnosing large systems, constructing a model is still required. This is difficult and time-consuming, therefore this thesis introduces a new method, BACINOL, based on diagnosing software systems using spectra. BACINOL attempts to diagnose multiple faults in hardware systems without the aid of a model. Using the theory behind BACINOL the concept of ambiguity sets is used to calculate a lower bound on the quality of the diagnoses obtained. A series of experiments is performed on the ISCAS85 benchmark, comparing BACINOL with SAFARI, to assess the performance obtained.

 Subject

diagnosis

 To reference this document use:

http://resolver.tudelft.nl/uuid:47595220-c568-4a37-a932-2dbf3db5984a

 Part of collection

Student theses

 Document type

master thesis

 Rights

(c) 2010 Wilson, M.
Files
PDF scriptie-final.pdf 1.45 MB
Close viewer