Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage
ReliabilityEvaluationofMulti-stateSystemsSubjecttoImperfectCoverageusingOBDD.pdfThispaperpresentsanefficientapproachbasedon
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.
页:
[1]