Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms.
Alberto ArazoYves CrouzetPublished in: ICECCS (2001)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- response time
- load balancing
- high availability
- distributed computing
- peer to peer
- group communication
- software development
- mobile agents
- database replication
- replicated databases
- software components
- software systems
- computer systems
- high scalability
- formal methods
- high performance computing
- error detection
- mobile agent system
- fault management
- knowledge base