Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.

Bev Littlewood Peter T. Popov Lorenzo Strigini

Published in: SAFECOMP (2000)

Keyphrases

fault tolerant
fault tolerance
safety critical
distributed systems
software development
software reliability
state machine
load balancing
high assurance
software systems
software testing
high availability
computer systems
operating system
databases
test cases
source code
multi agent systems