Bitvector: Fault Tolerant Aggregation Scheme for Monitoring in Nuclear Power Plants.

Wenchen Wang Daniel Mossé Daniel G. Cole

Published in: HPCC/CSS/ICESS (2015)

Keyphrases

fault tolerant
nuclear power plant
safety critical
nuclear power
fault tolerance
distributed systems
condition monitoring
monitoring system
load balancing
formal methods
state machine
real time
multimedia