Active redundancy allocation for a k-out-of-n:F system of dependent components

We characterize active redundancy through compensator transform 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 active redundancy.