安全冗余设计方法有哪些