Automatic Synthesis of Fault-Tolerance.ppt


文档分类:外语学习 | 页数:约43页 举报非法文档有奖
1/43
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/43
文档列表 文档介绍
AutomaticSynthesisofFault-puterScienceandEngineeringDepartmentMichiganStateUniversityAdvisor:,Question:Howdoweadddesiredfault-tolerancepropertiestop inordertocreateanewprogramp’suchthat:Requirements:Intheabsenceoff,theresultingfault-tolerantprogramp’behavessimilartopInthepresenceoff,theresultingfault-tolerantprogramp’satisfiesthedesiredfault-’’frompCorrectbyconstruction3PreviousWorkonAutomatedSynthesis4Synthesis: Specification-BasedSpecificationofp(TemporalLogicExpressions/Automata)SynthesisAlgorithm(provethesatisfiabilityofthespecification)FaultsFault-tolerancerequirements(TemporalLogicExpressions)Fault-tolerantprogramp’Programsynthesis: Fault-Tolerancesynthesis:[EmersonClarke1982] [AroraAttieEmerson1998][AttieEmerson2001][KupfermannVardi2001]5Synthesis: Calculational[KulkarniArora2000][KulkarniAroraChippada2001]Fault-intolerantprogramp(Transitions)SynthesisAlgorithm(Calculatethesetoftransitions)Fault-tolerantprogramp’(Transitions)Fault-tolerancerequirementsFaults(Transitions)plexityofCalculationalSynthesisHighatomicitymodel:processescanatomicallyread/writeallprogramvariablesPolynomialinthestatespaceofthefault-intolerantprogramp[KA00]Lowatomicitymodel(distributedprograms):processeshaveread/writerestrictionswithrespecttoprogramvariablesExponentialinthestatespaceofthefault-intolerantprogrampforsynthesizingmaskingfault-tolerance[KA00][KA00],Automatingtheadditionoffault-tolerance,-tolerantdistributedprograms7OutlinePreliminaryconceptsSynthesisproblemCurrentresultsTheoreticalissuesStep-wiseautomationPolynomial-timeboundaryHeuristicsPre-synthesizedfault-ponentsPracticalissuesAframeworkforthesynthesisoffault-tolerantprogramsContributionsOpenproblems8PreliminaryConcepts: ProgramsandFaultsProgr

Automatic Synthesis of Fault-Tolerance 来自淘豆网www.taodocs.com转载请标明出处.

相关文档 更多>>
非法内容举报中心
文档信息
  • 页数43
  • 收藏数0 收藏
  • 顶次数0
  • 上传人陈潇睡不醒
  • 文件大小153 KB
  • 时间2020-01-08