Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.
Heng KuangJamal BentaharOlga OrmandjievaNassir ShafieidizajiStan KlasaPublished in: SoMeT (2010)
Keyphrases
- fault tolerance
- formal specification
- autonomic systems
- fault tolerant
- autonomic computing systems
- specification languages
- model checking
- distributed systems
- object oriented design
- distributed computing
- load balancing
- process algebra
- replicated databases
- software systems
- database replication
- peer to peer
- response time
- formal methods
- reverse engineering
- failure recovery
- software components
- mobile agents
- concurrent systems
- fault management
- information systems
- knowledge based systems