Abstract | ||
---|---|---|
Fault diagnosis in networked systems has been an extensively studied field in systems engineering. Fault diagnosis generally includes the tasks of fault detection and isolation, and optionally recovery (FDIR). In this paper we further consider the blame assignment problem: given a system trace on which a system failure occurred and an identified set of faulty components, determine which subsets of faulty components are the culprits for the system failure. We provide formal definitions of the notion culprits and the blame assignment problem, under the assumptions that only one system trace is given and the system cannot be rerun. We show that the problem is equivalent to deciding the unsatisfiability of a set of logical constraints on component behaviors, and present the transformation from a blame assignment instance into an instance of unsatisfiability checking. We also apply the approach to a case study in the medical device interoperability scenario that has motivated our work. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2461446.2461463 | HiCoNS |
Keywords | Field | DocType |
fault diagnosis,blame assignment problem,unsatisfiability checking,systems engineering,faulty component,blame assignment instance,contract-based blame assignment,system failure,trace analysis,networked system,fault detection,system trace | Trace analysis,Interoperability,Fault detection and isolation,Computer science,Blame,Assignment problem,Distributed computing | Conference |
Citations | PageRank | References |
3 | 0.42 | 7 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shao-hui Wang | 1 | 126 | 19.62 |
Anaheed Ayoub | 2 | 104 | 8.15 |
Radoslav Ivanov | 3 | 87 | 13.01 |
Oleg Sokolsky | 4 | 2193 | 154.94 |
Insup Lee | 5 | 4996 | 413.64 |