Abstract
We analyze the reliability of distributed computer systems (DCS) with imperfect fault coverage (IPC) and common-cause failures (CCF). Our analysis approach based on reduced ordered binary decision diagrams (ROBDD) is separable and computationally efficient. The DCS without IPC or CCF appear to be special cases of our approach. The application and advantages of the approach are illustrated through a concrete analysis of an example distributed computer system