Online supervision of fault-tolerant systems for safety-related applications