H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL.
Sabine M. BöhmPublished in: DSN (2005)
Keyphrases
- fault tolerance
- reachability analysis
- database replication
- fault tolerant
- group communication
- replicated databases
- load balancing
- markov decision processes
- distributed computing
- node failures
- model checking
- distributed systems
- response time
- high availability
- timed automata
- mobile agents
- optimal solution
- search algorithm
- peer to peer
- state space
- dynamic programming
- single point of failure
- fault management
- incremental algorithms
- replica control
- qualitative and quantitative
- failure recovery
- key distribution
- security protocols
- machine learning
- knowledge based systems
- search space
- component failures
- metadata