×

容错仿真关系。 (英语) Zbl 1377.68044号


MSC公司:

68米15 网络和计算机系统的可靠性、测试和容错
60年第68季度 规范和验证(程序逻辑、模型检查等)

软件:

罗丹;联合
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Attie PC、Arora A、Emerson EA(2004)《容错并发程序综合》。ACM Trans程序语言系统(TOPLAS)26(1):125-185·Zbl 1333.68080号 ·doi:10.1145/963778.963782
[2] Abdelouahab Z,Braga RI(2008)自适应列车交通控制器。In:自适应列车交通控制器。荷兰施普林格,第550-555页
[3] Aminof B,Ball T,Kupferman O(2004)《关于具有过渡公平性的系统的推理》。收录:Baader F,Voronkov A(eds)《编程、人工智能和推理的逻辑》,第11届国际会议,LPAR 2004,计算机科学讲稿第3452卷,第194-208页。施普林格·Zbl 1108.68486号
[4] Abrial J-R(2006)。列车系统。作者:Butler MJ,Jones CB,Romanovsky A,Troubitsynalena(eds)复杂容错系统的严格开发[FP6 IST-511599 RODIN项目],RODIN Book,计算机科学讲义第4157卷,第1-36页。施普林格
[5] Abrial J-R(2010)《事件B系统和软件工程建模》,剑桥大学出版社,剑桥·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881
[6] Arora A,Gouda MG(1993)《封闭与收敛:容错计算的基础》。IEEE Trans Softw Eng 19(11):1015-1027·数字对象标识代码:10.1109/32.256850
[7] Arora A,Kulkarni SS(1998),基于组件的多容性系统设计。IEEE Trans Softw Eng 24(1):63-78·数字对象标识代码:10.1109/32.663998
[8] Arora A,Kulkarni SS(1998)《探测器和校正器:容错元件理论》。摘自:第18届分布式计算系统国际会议,ICDCS 1998,第436-443页。IEEE计算机协会
[9] Avizienis AA(1995)《软件容错》,第2卷,N版编程方法论一章,第22-45页。威利·Zbl 1294.03019号
[10] Banach R,Bozzano M(2006)Retrenchment,以及静态、动态和循环系统故障树的生成。摘自:《计算机安全、可靠性和安全》,第25届国际会议,2006年9月27日至29日,波兰格但斯克SAFECOMP 2006,会议记录,第127-141页·Zbl 1119.68348号
[11] Banach R,Cross R(2004)《使用紧缩的安全要求和故障树》。In:计算机安全、可靠性和安全,第23届国际会议,SAFECOMP 2004,波茨坦,德国,2004年9月21日至24日,Proceedings,pp 210-223·兹比尔1119.68348
[12] Bernardeschi C、Fantechi A、Gnesi S(2002)《模型检查容错系统》。软件测试验证Reliab 12(4):251-275·doi:10.1002/stvr.258
[13] Back R-J,Kurki-Soonio R(1988)《与行动系统的分布式合作》。ACM翻译程序Lang Syst 10(4):513-554·Zbl 0663.68028号 ·doi:10.1145/48022.48023
[14] Baier C,Katoen J-P(2008)《模型检验原理》。麻省理工学院出版社,剑桥·Zbl 1179.68076号
[15] Bonakdarpour B(2008)分布式实时程序的自动修订。密歇根州立大学博士论文
[16] Banach R,Poppleton M(1998)《退刀:精炼的工程变化》。摘自:B'98:B方法开发和使用的最新进展,第二届国际B会议,1998年4月22日至24日,法国蒙彼利埃,会议记录,第129-147页·Zbl 1209.68321号
[17] Banach R,Poppleton M(1999),收缩和穿孔模拟。In:综合形式方法,第一届综合形式方法国际会议记录,IFM 99,英国约克,1999年6月28日至29日,第457-476页·Zbl 0963.68135号
[18] Banach R、Poppleton M、Jeske C、Stepney S(2007)《紧缩的工程和理论基础》。科学计算程序67(2-3):301-329·Zbl 1119.68348号 ·doi:10.1016/j.scico.2007.04.002
[19] Braun B(2006)实现容错的自动添加和验证。亚琛RWTH大学硕士论文
[20] Bradfield J,Stirling C(2007),12模态微积分。收录于:Van Benthem J、Blackburn P、Wolter F(eds)《模态逻辑手册》,逻辑和实践推理研究第3卷,第721-756页。爱思维尔
[21] Castro-PF、Kilmurray C、Acosta A、Aguirre N(2011)dCTL:容错系统验证的分支时间时序逻辑。收录:Barthe G、Pardo A、Schneider G(编辑)软件工程和正式方法第九届国际会议,SEFM 2011,计算机科学讲义第7041卷,第106-121页。施普林格·Zbl 1350.68181号
[22] Clarke EM(1999)模型检查。麻省理工学院出版社,剑桥
[23] Chandy KM,Misra J(1989)《并行程序设计——基础》。Addison-Wesley,阅读·Zbl 0717.68034号
[24] Castro PF,Maibaum TSE(2009)道义逻辑,与责任推理和容错相反。计算机科学电子笔记258(2):17-34·Zbl 1294.03019号 ·doi:10.1016/j.entcs.2009.12.011
[25] Cristian F(1985)容错编程的严格方法。IEEE Trans Softw Eng 11(1):23-31·doi:10.1109/TSE.1985.231534
[26] Demasi R,Castro PF,Maibaum TSE,Aguirre N(2013)通过仿真关系表征容错系统。在:Johnsen EB,Petre L(eds)综合正式方法,第10届国际会议,IFM 2013,《计算机科学讲义》第7940卷,第428-442页。施普林格
[27] Demasi R、Castro PF、Maibaum TSE、Aguirre N(2013)《从道义规范合成屏蔽容错系统》。摘自:Van Hung D,Ogawa M(eds)Automated technology for verification and analysis第11届国际研讨会,ATVA 2013,计算机科学讲稿第8172卷,第163-177页。施普林格·Zbl 1410.68220号
[28] Demasi R,Castro PF,Ricci N,Maibaum TSE,Aguirre N(2015)syntmaskft:一种根据道义规范合成屏蔽容错程序的工具。在:用于系统构建和分析的工具和算法——第21届国际会议,TACAS 2015,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11-18日。会议记录,第188-193页
[29] Dijkstra EW(1976)编程学科。普伦蒂斯·霍尔,恩格尔伍德悬崖·Zbl 0368.68005号
[30] Emerson EA,Clarke EM(1980)使用定点描述并行程序的正确性属性。收录:de Bakker JW,van Leeuwen J(eds)Automata,语言与编程,第七次学术讨论会,ICALP 1980,计算机科学讲稿第85卷,第169-181页。施普林格·Zbl 0456.68016号
[31] Emerson EA、Halpern JY(1986)“有时”和“不可能”重温:关于分支与线性时间时序逻辑。美国医学会期刊33(1):151-178·Zbl 0629.68020号 ·doi:10.1145/4904.4999
[32] Ezekiel J,Lomuscio A(2009)结合故障注入和模型检查来验证多代理系统中的容错性。参见:Sierra C、Castelfranchi C、Decker KS、Sichman JS(eds)第八届自主代理和多代理系统国际联合会议,AAMAS 2009,第113-120页。国际会计师联合会·Zbl 1370.68201号
[33] Francalanza A,Hennessy M(2007)《观测容错理论》。J Log Algebr程序73(1-2):22-50·Zbl 1123.68080号 ·doi:10.1016/j.jlap.2007.03.003
[34] French T,McCabe-Dansted JC,Reynolds M(2007)《稳健性的时序逻辑》。摘自:联合系统前沿,第六届国际研讨会,FroCoS 2007,利物浦,英国,2007年9月10日至12日,Proceedings,pp 193-205·Zbl 1148.03312号
[35] Gärtner FC(1999)异步环境中容错分布式计算基础。ACM计算概况31:1-26·数字对象标识代码:10.1145/311531.3115311532
[36] Guiho GD,Hennebert C(1990)SACEM软件验证(经验报告)。收录:Valette F-R,Freeman PA,Gaudel M-C(eds)《第12届软件工程国际会议论文集》,ICSE 1990,第186-191页。IEEE计算机学会·Zbl 0629.68020号
[37] Ghezzi C、Jazayeri M、Mandrioli D(2003)《软件工程基础》,第2版。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0827.68030号
[38] Henzinger MR,Henzinger TA,Kopke PW(1995)有限和无限图的计算模拟。摘自:第36届计算机科学基础年会,FOCS 1995,第453-462页。IEEE计算机学会·Zbl 0938.68538号
[39] Janowski T(1995)双模拟和容错。英国华威大学博士论文
[40] Janowski T(1997)关于互模拟、容错性和可证明容错性。摘自:Johnson M(ed)代数方法和软件技术,第六届国际会议,AMAST 1997,计算机科学讲稿第1349卷,第292-306页。施普林格·Zbl 1209.68321号
[41] Jeffords RD,Heitmeyer CL,Archer M,Leonard EI(2009)一种使用部分精化和组合开发可证明正确容错系统的形式化方法。收录于:Cavalcanti A,Dams D(eds)Formal methods,第二届世界大会,FM 2009,计算机科学讲稿第5850卷,第173-189页。施普林格
[42] Jeffords RD、Heitmeyer CL、Archer M、Leonard EI(2010),使用合成和部分细化的关键系统的基于模型的构建和验证。形式方法系统设计37(2-3):265-294·Zbl 1209.68321号 ·doi:10.1007/s10703-010-0106-9
[43] Lee PA,Anderson T(1990)《容错:原理与实践》,第2版。斯普林格,塞考克斯·Zbl 0697.68010号
[44] Lamport L(1985)解决了并发中的问题、未解决的问题和非问题。操作系统版本19(4):34-44·doi:10.1145/858336.858339
[45] Lamport L(1994)行动的时间逻辑。ACM Trans程序语言系统16(3):872-923·数字对象标识代码:10.1145/177492.177726
[46] Lamport L,Shostak RE,Pease MC(1982)拜占庭将军问题。ACM Trans程序语言系统4(3):382-401·Zbl 0483.68021号 ·doi:10.1145/357172.357176
[47] Mead C,Conway L(1980)超大规模集成电路系统简介。Addison-Wesley,阅读
[48] Milner R(1989)通信与并发。计算机科学PHI系列。上鞍河普伦蒂斯·霍尔
[49] Manolios P,Trefler RJ(2001)分支时间的安全性和活性。摘自:2001年6月16日至19日在美国马萨诸塞州波士顿举行的第16届IEEE计算机科学逻辑年会,会议记录,第366-374页·Zbl 0483.68021号
[50] Pnueli A,Rosner R(1989)关于反应性模块的合成。摘自:第十六届ACM编程语言原理年度研讨会,POPL 1989,第179-190页。ACM出版社·Zbl 0686.68015号
[51] Prasetya ISWB,Swierstra SD(2005)《自我稳定程序的正式设计》。J高速网14(1):59-83
[52] Schneider F、Easterbrook SM、Callahan JR、Holzmann GJ(1998)《使用模型检查验证容错系统的要求》。参见:第三届需求工程国际会议,ICRE 1998,第4-13页。IEEE计算机协会
[53] Siewiorek DP,Swarz RS(1998)《可靠的计算机系统》,第3版:设计与评估。A.K.Peters有限公司,Natick·Zbl 0987.68511号
[54] Torres Pomales W(2000)软件容错:教程。技术报告,NASA技术备忘录TM-2000-210616
[55] Yokogawa T,Tsuchiya T,Kikuno T(2001)使用模型检查自动验证容错性。参见:第八届环太平洋地区可靠计算国际研讨会,PRDC 2001,第95-102页。IEEE计算机协会
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。