×

观测容错理论。 (英语) Zbl 1123.68080号

小结:一般来说,故障是无法避免的;相反,它们需要被容忍,以保证一定程度的软件可靠性。我们为分布式pi演算开发了一种容错理论,其中位置作为故障单元,冗余分布在独立的故障位置上。我们在演算中给出了容错程序的形式化定义,其基础是经过充分研究的上下文等价概念。然后,我们开发互模拟证明技术来验证分布式程序的容错特性,并表明它们相对于我们的容错定义来说是合理的。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68米15 网络和计算机系统的可靠性、测试和容错
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 罗伯特·阿马迪奥(Roberto M.Amadio)、桑吉瓦·普拉萨德(Sanjiva Prasad),《局部性与失败》(Localities and failures),FSTTCS:Foundations of Software Technology and Theory Computer Science,1994年,第14期。;Roberto M.Amadio,Sanjiva Prasad,《局部性与失败》,FSTTCS:软件技术与理论计算机科学基础,1994年第14期·Zbl 1044.68682号
[2] Christian,Flavin,理解容错分布式系统,Commun。ACM,34,2,56-78(1991)
[3] 阿尔贝托·齐法格利翁,马修·亨尼西,朱利安·拉什克,《行为等效的证明方法》(D\operatorname{\Pi;});阿尔贝托·齐法格利翁、马修·亨尼西、朱利安·拉什克,《(D\operatorname{\Pi;})中行为等效的证明方法》·Zbl 1169.68538号
[4] 阿德里安·弗兰卡兰扎(Adrian Francalanza);Hennessy,Matthew,《存在节点和链路故障时的系统行为理论》(CONCUR.CONCUR,《计算机科学讲义》,第3653卷(2005),Springer),第368-382页·Zbl 1134.68340号
[5] 阿德里安·弗兰卡兰扎(Adrian Francalanza);Hennessy,Matthew,《系统容错理论》(Aceto,L.;Ingolfsdottir,A.),第九届国际软件科学与计算结构基础大会(FoSSaCS'06)。程序。第九届国际软件科学与计算结构基础会议(FoSSaCS'06),LNCS,第3921卷(2006年),施普林格)·Zbl 1123.68080号
[6] Groote,J.F。;Sellink,M.P.A.,Confluence for process verification,Theor公司。计算。科学。,170,1-2,47-81(1996)·Zbl 0874.68118号
[7] Jan Friso Groote,Jaco van de Pol,使用部分τ碰撞的状态空间约简,收录于:计算机科学的数学基础,2000年,第383-393页。;Jan Friso Groote,Jaco van de Pol,使用部分τ碰撞的状态空间约简,收录于:计算机科学的数学基础,2000年,第383-393页·Zbl 0996.68122号
[8] 轩尼诗,马修;马西莫·梅罗(Massimo Merro);Julian Rathke,走向分布式系统中访问和移动性控制的行为理论,Theor。计算。科学。,322615-669(2004年)·Zbl 1071.68009号
[9] 轩尼诗,马修;Rathke,Julian,《存在子类型的过程的类型行为等效性》,《数学》。结构。计算。科学。,14, 651-684 (2004) ·Zbl 1093.68062号
[10] 轩尼诗,马修;James Riely,移动代理系统中的资源访问控制,Inform。计算。,173, 82-120 (2002) ·Zbl 1009.68081号
[11] 本田,K。;Yoshida,N.,《基于简化的过程语义》,Theor。计算。科学。,152, 2, 437-486 (1995) ·Zbl 0871.68122号
[12] Uwe Nestmann,Rachele Fuzzati,《通过操作语义的不可靠故障检测器》,载于:亚洲'03,计算机科学讲义,2003年,第54-71页。;Uwe Nestmann,Rachele Fuzzati,《通过操作语义的不可靠故障检测器》,载于:亚洲'03,计算机科学讲义,2003年,第54-71页·Zbl 1215.68056号
[13] 安娜·菲利普;大卫·沃克(David Walker),《论pi-calculus中的汇合》(ICALP’97:第24届自动控制、语言和编程国际学术讨论会论文集(1997),《Springer-Verlag:英国伦敦Springer-Verlag》),314-324·Zbl 1401.68232号
[14] K.V.S.Prasad,可重启系统的组合器和互模拟证明,爱丁堡大学计算机科学系博士论文,1987年12月。;K.V.S.Prasad,可重启系统的组合器和互模拟证明,爱丁堡大学计算机科学系博士论文,1987年12月。
[15] 詹姆斯·里利;Hennessy,Matthew,《分布式进程和位置故障》,Theor。计算。科学。,226, 693-735 (2001) ·Zbl 0989.68007号
[16] 戴维·桑吉奥吉;David Walker,《(pi)-微积分》(2001),剑桥大学出版社·Zbl 0981.68116号
[17] 理查德·施利钦(Richard D.Schlichting)。;Schneider,Fred B.,《故障停止处理器:设计容错计算系统的方法》,计算。系统。,1, 3, 222-238 (1983)
[18] 保罗·韦里西莫;Rodrigues,Luis,《系统架构师分布式系统》(2001),Kluwer学术出版社·Zbl 0999.68017号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。