lewisfei 发表于 2008-3-6 17:11:22

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.

turpinhht 发表于 2008-4-23 08:48:28

thanks

wsn_ifeng 发表于 2008-5-27 10:49:03

谢谢

非常感谢，加油
页: [1]
查看完整版本: Analyze_New_Imperfect_Fault_Coverage_Models.pdf