real‑time redundancy