10 search results - page 1 / 2 » Candidate Ordering and Elimination in Model-Based Fault Diag... |
IJCAI
1989
14 years 8 hour ago
1989
ET
2007
13 years 10 months ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
SARA
2007
Springer
14 years 5 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
ECSA
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...