冗余设计是一种()的设计。