Analyze_New_Imperfect_Fault_Coverage_Models.pdf

Analyze_New_Imperfect_Fault_Coverage_Models.pdf

attributeforachievinghighreliabilityinmanycritical
applicationsofdigitalsystems.Automaticrecoveryand
reconfigurationmechanismsplayacrucialrolein
implementingfaulttolerancebecauseanuncoveredfaultmay
leadtoasystemorsubsystemfailureevenwhenadequate
redundancyexists.Inaddition,anexcessivelevelof
redundancymayevenreducethesystemreliability.
Therefore,anaccurateanalysismustaccountfornotonlythe
systemstructurebutalsothesystemfaultanderrorhandling
behavior.Themodelsthatcapturethefaultanderrorhandling
behaviorarecalledcoveragemodels.Theappropriate
coveragemodelingapproachdependsonthetypeoffault
toleranttechniquesused.
Recentresearchemphasizestheimportanceoftwonew
categoriesofcoveragemodels:FaultLevelCoverage(FLC)
modelsandOne-on-oneLevelCoverage(OLC)models.
However,themethodsforsolvingFLCandOLCmodelsare
muchmorelimited,primarilybecauseofthecomplexnature
ofthedependencyintroducedbythereconfiguration
mechanisms.Inthispaper,weproposeanefficientalgorithm
forsolvingFLCandOLCmodels.