Imperfect coverage ( IPC) has to be considered in course of reliability assessment of a redundant system because IPC has a negative effect on system reliability. Therefore，a novel method is proposed in this paper to model IPC for a redundant system. Diagnostic coverage can be determined considering both of the common cause failure and diversity. A dual channel system in which redundancy management is implemented based on self-checking pairs is used to illustrate the novel model.
