ReliabilityEvaluationofMulti-stateSystemsSubjecttoImperfectCoverageusingOBDD.pdf
Thispaperpresentsanefficientapproachbasedon
OBDDforthereliabilityanalysisofamulti-statesystem
subjecttoimperfectfault-coveragewithcombinatorial
performancerequirements.Sincethereexistdependencies
betweencombinatorialperformancerequirements,we
applytheMulti-stateDependencyOperation(MDO)of
OBDDtodealwiththesedependenciesinamulti-state
system.Inaddition,thisOBDD-basedapproachis
combinedwiththeconditionalprobabilitymethodstofind
solutionsforthemulti-stateimperfectcoveragemodels.
Usingconditionalprobabilities,wecanalsoapplythis
methodformodularstructures.Themainadvantageofthis
algorithmisthatitwilltakecomputationaltimethatis
equivalenttothesameproblemwithoutassumingimperfect
coverage(i.e.withperfectcoverage).Thisalgorithmisvery
importantforcomplexsystemssuchasfault-tolerant
computersystems,sinceitcanobtainthecompleteresults
quicklyandaccuratelyevenwhenthereexistanumberof
dependenciessuchassharedloads(reconfiguration),
degradationandcommon-causefailures.
