On the Diagnosability of a General Model of System with Three-Valued Test Outcomes
IEEE Transactions on Computers
The Comparison Approach to Multiprocessor Fault Diagnosis
IEEE Transactions on Computers
A New Measure for Hybrid Fault Diagnosability
IEEE Transactions on Computers
Microprocessing and Microprogramming
The consensus problem in fault-tolerant computing
ACM Computing Surveys (CSUR)
A Framework for Identifying Compromised Nodes in Wireless Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
Sensor deployment for failure diagnosis in networked aerial robots: a satisfiability-based approach
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Hi-index | 14.98 |
A comparison-based system-level fault diagnosis model is considered. Provided the number of faulty units and the number of incorrect outcomes (in the sense that a fault-free unit evaluates a faulty one to be fault-free) do not exceed given bounds, the necessary and sufficient conditions for the comparison assignment to achieve correct and complete diagnosis are determined. An O(n mod E mod ) fault identification algorithm and optimal comparison assignments, in terms of minimum time of complete fault localization, are also proposed. The proposed diagnosis strategy can be performed concurrently with application tasks execution and the suitable comparison assignment can minimize the latency of fault identification. It makes the model more attractive for real-time applications.