Redundancy Management for System Safety (Preview)