Rigorous Fault Tolerance Using Aspects and Formal Methods.
Shmuel KatzPublished in: RODIN Book (2006)
Keyphrases
- fault tolerance
- formal methods
- fault tolerant
- provably correct
- distributed systems
- load balancing
- safety critical
- response time
- distributed computing
- formal specification
- peer to peer
- model checking
- mobile agents
- high availability
- knowledge based systems
- replicated databases
- group communication
- artificial intelligence
- fault management
- failure recovery
- modeling language
- database replication
- development lifecycle
- software engineering
- relational databases
- network management
- data replication
- software systems
- knowledge representation
- cooperative
- machine learning
- databases
- data sets