脂肪轮胎 swMATH ID: 34183 软件作者: 描述: FatTire:软件定义网络的声明性容错。本文介绍了一种用于编写容错网络程序的新语言FatTire。该语言的中心功能是一种基于正则表达式的新编程结构,允许开发人员指定数据包可能通过网络的路径集以及所需的容错程度。该结构由编译器实现,该编译器针对Open-Flow标准的最新版本中提供的网络内快速故障切换机制,即使在出现故障的情况下,也有助于对网络程序进行简单推理。我们描述了FatTire的设计,提出了将FatTier程序编译为OpenFlow交换机配置的算法,描述了我们的原型FatTile实现,并通过简单示例演示了它的使用。 主页: https://dl.acm.org/doi/10.1145/2491185.2491187 相关软件: 坎杜;NetworkX公司;血浆;夏普SAT;聚乙烯醇水杨酸;SciPy公司;z3(零3);Uppaal公司;棱镜;食蚁兽;洛拉;Kuai公司;z更新;AdamMC公司;爱格;ITS工具;VeriCon公司;狂热的;基础知识;LTSmin公司 引用于: 3文件 全部的 前5名13位作者引用 1 阿夫尼,盖伊 1 马可·卡尼尼 1 伯恩德·芬克贝纳 1 Manuel Gieseking先生 1 舒巴姆·戈尔 1 赫金·哈布什,杰斯科 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 吉列尔莫罗德里格斯-纳瓦斯 1 艾奥西夫·塞勒姆 1 希夫、利隆 1 席勒,埃拉德·迈克尔 1 斯特凡·施密德 连载1篇 1 计算机与系统科学杂志 在1个字段中引用 三 计算机科学(68至XX) 按年份列出的引文