Assessing Asymmetric Fault-Tolerant Software.

Peter T. Popov Lorenzo Strigini

Published in: ISSRE (2010)

Keyphrases

fault tolerant
fault tolerance
safety critical
distributed systems
load balancing
software development
software systems
source code
state machine
user interface
interconnection networks
high assurance
high availability
database
message passing
software testing