Minimal standby redundancy allocation in a k-out-of-n:F system of dependent components

We define minimal standby redundancy and use the reverse rule of order 2 (RR2) property between compensator processes to investigate the problem of where to allocate a spare in a k-out-of-n:F system of dependent components through minimal standby redundancy.