Software Fault Tolerance in Safety-Critical Applications.

Nancy G. Leveson

Published in: Fehlertolerierende Rechensysteme (1987)

Keyphrases

safety critical
fault tolerant
fault tolerance
safety analysis
nuclear power plant
distributed systems
load balancing
formal methods
embedded systems
software systems
single point of failure
machine learning
multimedia
user interface
failure recovery