By Topic

SAT-Based On-Line Fault Isolation in Serial Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Jinseong Jeon ; Agency for Defense Dev., Seoul, South Korea ; Sangwon Kim ; Dongkeun Lee

We introduce a method to isolate faults at run-time in an embedded system whose components form a matrix structure. Our method probes a system via test paths a SAT-solver recommends, feeding the SAT-solver with the encodings for test path conditions and the current status of the system. After receiving test results, the SAT-solver recommends another test path suitable for the situation. We can detect all defects by checking the system until the SAT-solver does not make any useful suggestions. Our SAT-based fault diagnosis ensures termination and conducts only essential inspections without misses of potential flaws.

Published in:

Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on

Date of Conference:

20-25 Sept. 2009