Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.
Kizito SalakoPublished in: SAFECOMP (2007)
Keyphrases
- fault tolerant
- fault tolerance
- safety critical
- distributed systems
- load balancing
- high assurance
- upper bound
- software systems
- lower bound
- error detection
- state machine
- software development
- fine grained
- worst case
- high availability
- software reliability
- test cases
- energy consumption
- routing protocol
- sensor networks
- data replication
- artificial intelligence