Fault Injection for the Formal Testing of Fault Tolerance.
Dimiter R. AvreskyJean ArlatJean-Claude LaprieYves CrouzetPublished in: FTCS (1992)
Keyphrases
- fault tolerance
- fault injection
- fault tolerant
- java card
- fault model
- distributed systems
- load balancing
- peer to peer
- response time
- replicated databases
- mobile agents
- fault management
- failure recovery
- single point of failure
- smart card
- static analysis
- virtual machine
- database replication
- error detection
- security level
- object oriented
- component failures