Fault Tolerance from Formal Analysis of a Data Fusion Mechanism.
Kaci BaderBenjamin LussierWalter SchönPublished in: IRC (2017)
Keyphrases
- data fusion
- fault tolerance
- formal analysis
- fault tolerant
- information fusion
- load balancing
- multi sensor
- distributed systems
- mobile agent system
- fusion algorithm
- response time
- multi source
- multiple sensors
- multi sensor data fusion
- database replication
- fusion method
- peer to peer
- mobile agents
- formal methods
- failure recovery
- fusion methods
- source selection
- group communication
- fault management
- single point of failure
- fusion process
- image fusion
- databases
- ban logic
- agent model
- database systems