during redundant operation [...] during operation. Network
to operate redundantly
of the operating system