Fault-Tolerant Redundancy Management Design of Satellite System