Automating the addition of fault tolerance with discrete controller synthesis.
Alain GiraultÉric RuttenPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- fault tolerance
- fault tolerant
- load balancing
- distributed systems
- controller synthesis
- distributed computing
- response time
- replicated databases
- peer to peer
- autonomic computing systems
- data replication
- group communication
- database replication
- mobile agents
- fault management
- data sets
- control system
- failure recovery
- single point of failure
- neural network