A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.
Roberto Jung DrebesGabriela Jacques-SilvaJoana Matos Fonseca da TrindadeTaisy Silva WeberPublished in: Haifa Verification Conference (2005)
Keyphrases
- distributed systems
- fault tolerant
- fault model
- message passing
- software development environments
- load balancing
- distributed environment
- distributed computing
- fault tolerance
- concurrent systems
- mobile agents
- geographically distributed
- real time systems
- fault detection
- mobile computing
- fault diagnosis
- operating system
- communication overhead
- ambient intelligence
- information exchange
- distributed database systems
- complex systems
- resource constrained
- data replication
- computer networks
- security policies
- deadlock detection
- network management
- communication cost
- communication protocol
- agent based systems
- replicated data
- communication networks