150 likes | 257 Views
ECE 753: FAULT-TOLERANT COMPUTING. Kewal K.Saluja Department of Electrical and Computer Engineering Byzantine faults and Agreement Problem (Sensor Networks). Overview. Sensor fusion problem Agreement in the presence of faults Precision and accuracy issue Byzantine faults. Introduction.
E N D
ECE 753: FAULT-TOLERANT COMPUTING Kewal K.Saluja Department of Electrical and Computer Engineering Byzantine faults and Agreement Problem (Sensor Networks)
Overview • Sensor fusion problem • Agreement in the presence of faults • Precision and accuracy issue • Byzantine faults ECE 753 Fault Tolerant Computing
Introduction • What is sensor network • Sensor network • Its relation to agreement problem • Motivation • Multiple sensors sensing same environment in different manner, but need to arrive at a common and same decision – some of the sensors may be faulty ECE 753 Fault Tolerant Computing
Sensor Fusion Problem v5 1 v3 1 v1 1 v4 v6 1 1 v2 v7 1 1 v10 1 v9 1 v8 1 v13 1 v12 v11 1 1 ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Fusion as described earlier but some of the nodes/sensors may be faulty • Agreement requirement: • Precision requirement: all non faulty nodes in region make same decision. • Accuracy requirement: the decision is representative of the environment. For example: decision is “detect” if there is an object in the region. ECE 753 Fault Tolerant Computing
Agreement Accuracy Precision ECE 753 Fault Tolerant Computing
Agreement (cont.) A A 0 0 0 1 B C B C 1 1 B can not differentiate between 2 scenarios. Agreement requires 3m+1 nodes to tolerate m Byzantine faults ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Precision: Exact agreement solves inconsistency problem • All non faulty nodes obtain the same set of values 1 S 0 S ? ? 0 S ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Precision: Exact agreement solves inconsistency problem • All non faulty nodes obtain the same set of values {1} 1 1 1 1 1 1 0 1 ? ? 1 1 0 {1} 1 1 1 0 1 {1} ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Precision: Exact agreement solves inconsistency problem • All non faulty nodes obtain the same set of values {1,0} 1 0 1 0 0 1 0 1 0 ? 0 ? ? 0 {1,0} 1 0 0 0 {1,0} ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Precision: Exact agreement solves inconsistency problem • All non faulty nodes obtain the same set of values {1,0,0} 0 1 0 1 0 0 0 0 ? 0 0 ? ? {1,0,0} 0 0 1 0 0 {1,0,0} ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion • Precision: Exact agreement solves inconsistency problem • All non faulty nodes obtain the same set of values {1,0,0,0} 1 0 0 0 1 0 0 0 0 0 ? ? ? {1,0,0,0} 1 0 0 0 0 {1,0,0,0} ECE 753 Fault Tolerant Computing
Fault Tolerant Fusion (cont.) • Accuracy: consistent outliers remain in the set of values • Dropping highest and lowest values m S N-2m used for decision m ECE 753 Fault Tolerant Computing
Value fusion Decision fusion Some research issues:Two approaches for detection v1 v2 ? v4 v1 v2 ? v4 fusion decision S S ? S 1 1 ? 0 decision fusion 1 1 ? 1 1 1 ? 1 ECE 753 Fault Tolerant Computing
Value fusion 1. Perform exact agreement on values 2. Drop highest m and lowest m values 3. Compute average of remaining values 4. Compare to threshold Decision fusion 1. Compare to threshold 2. Perform exact agreement on decision 3. Drop highest m and lowest m decisions 4. Compute average of remaining decision and compare to threshold Two approaches for detection ECE 753 Fault Tolerant Computing