IEEE Transactions on Reliability · 2007 · 173 citations · 33 references
EngineeringComputer ScienceSystems EngineeringFault ToleranceFault-tolerant SystemsMaintenance EngineeringFailure Mode AnalysisFault DiagnosisFault ManagementFault ModelingReliability ModelingReliable System DesignBinary Decision DiagramsCommon Cause FailuresFault CoverageReliability Assessment Under FaultsSystem ReliabilitySystem Reliability AnalysisSystem Reliability AssessmentSystem Reliability Engineering
<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> This paper proposes efficient methods to assess the reliability of phased-mission systems (PMS) considering both imperfect fault coverage (IPC), and common-cause failures (CCF). The IPC introduces multimode failures that must be considered in the accurate reliability analysis of PMS. Another difficulty in analysis is to allow for multiple CCF that can affect different subsets of system components, and which can occur <formula formulatype="inline"><tex>$s$</tex></formula>-dependently. Our methodology for resolving the above difficulties is to separate the consideration of both IPC and CCF from the combinatorics of the binary decision diagram-based solution, and adjust the input and output of the program to generate the reliability of PMS with IPC and CCF. According to the separation order, two equivalent approaches are developed. The applications and advantages of the approaches are illustrated through examples. PMS without IPC and/or CCF appear as special cases of the approaches. </para>
33
Efficient implementation of a BDD package
Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text
Fault injection techniques and tools
Mei-Chen Hsueh, Timothy Tsai, Ravishankar K. Iyer · Computer · 1997 · 869 citations · Full text