High availability in a real-time system