2014年第十届EDCC:英国纽卡斯尔
-
2014年5月13日至16日,英国纽卡斯尔,第十届欧洲可靠计算会议。 IEEE计算机学会 2014 ,国际标准图书编号 978-1-4799-3803-2
第1部分: 分布式系统和网络
路易斯·罗德里格斯 , 卢西亚娜·阿兰特斯 , 小埃利亚斯·P·杜阿尔特。 :
基于动态生成树的可靠广播自主实现。 1-12 明·莱 , 马克斯·沃尔特 , 约瑟夫·韦登多夫 :
改进Kuo-Lu-Yeh算法评估双端可靠性。 13-22 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
同步共识协议中分歧的概率分析。 23-34 Emmanuelle Anceaume公司 , Yann Busnel公司 :
分布式数据流之间的偏差估计。 35-45 米鲁娜·斯多塞斯库 , Jean-Charles Fabre公司 , 马蒂厄·罗伊 , Animesh Pathak公司 :
从弹性计算架构概念到基于无线传感器网络的应用(短文)。 46-49
第2部分: 在线故障和故障管理
桑托努·萨卡尔 , 拉杰什瓦里·加内桑 , 马塞洛·辛克 , 弗拉维奥·弗拉蒂尼 , 斯蒂法诺·鲁索 , 阿戈斯蒂诺·萨维格纳诺 :
从SaaS应用程序日志中挖掘不变量(实践经验报告)。 50-57 弗洛里安·菲特考 , 安德烈·范·霍恩 , 威廉·哈塞尔布林 :
面向大型软件环境的可靠性控制中心(短文)。 58-61 路易斯·塞兹·阿达利德 , 佩德罗·吉尔 , 胡安·卡洛斯·巴拉扎·卡沃 , Juan-Carlos Ruiz-Garcia公司 , 丹尼尔·吉尔·托马斯 , 华金·格雷西亚·莫拉 :
改进汉明码以增强半导体存储器中的短突发错误检测(短文)。 62-65 提亚特·皮塔克拉特 , 安德烈·范·霍恩 , 拉尔斯·格伦斯克 :
通过在线故障预测提高基于组件的软件系统的可靠性(短文)。 66-69
第三部分: 弹性系统建模
穆菲·考尔德 , 米歇尔·塞维格纳尼 :
我需要现在修复故障组件吗,还是可以等到明天? 70-81 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
用于大型随机模型自动装配的DSL支持的工作流。 82-93 彼得·布赫霍尔茨 , 扬·克里格 :
可用性和不可用性数据的马尔可夫建模。 94-105 彼得·波波夫 , 安德烈·波维亚卡洛 , 弗拉基米尔·斯坦科维奇 , 洛伦佐·斯特里吉尼 :
软件多样性作为降低开发风险的措施。 106-117
第4部分: 测试、故障注入和基准测试
埃里克·范德库韦 , 克里斯蒂亚诺·朱弗里达 , 安德鲁·斯图尔特·塔能鲍姆 :
沉默的合理性:使用故障注入实验研究沉默的故障。 118-129 米克尔·马丁内斯 , 大卫·德·安德烈斯 , Juan-Carlos Ruiz-Garcia公司 :
通过“背靠背”测试(实践经验报告)获得对可信性基准结论的信心。 130-137 Mafijul马里兰州伊斯兰 , Nithilan Meenakshi Karunakaran公司 , 约翰·哈拉尔德森 , 弗雷德里克·伯宁 , 约翰·卡尔森 :
AUTOSAR系统的二进制级故障注入(短文)。 138-141
第5部分: 汇编
杰森·希瑟 , 安阮通 , Michele公司 , 本杰明·罗德斯 , 马修·哈尔 , 克拉克·科尔曼 , 约翰·C·奈特 , 杰克·W·戴维森 :
创建二进制重写工具的框架(短文)。 142-145 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 罗杰·约翰逊 , 约翰·卡尔森 :
位滑动错误对不同优化级别编译程序的影响研究。 146-157
第6部分: 安全关键系统
海伦·高夫 , 希尔克·库巴尔 :
统计测试在Dungeness B核电厂数据处理和控制系统中的应用(实践经验报告)。 158-165 Silvano Chiaradonna公司 , 费利西塔·迪·詹多梅尼科 , 纳迪尔·穆鲁 :
智能电网基础设施弹性分析的建模方法。 166-177 伯奇 , 罗杰·里维特 , 易卜拉欣·哈布利 , 本·布拉德肖 , 约翰·博瑟姆 , 戴夫·海姆 , 海伦·蒙霍斯 , 罗伯特·佩林 :
构建汽车安全论证的分层模型(短文)。 178-181
第7部分: 太空与航空
凯文·米勒 , 乔治·西格尔 , Benoit Triquet公司 , 迈克尔·保利奇 :
针对航空电子系统的MILS I/O共享。 182-193 丹尼斯·罗通迪·阿泽夫多 , 安娜·玛丽亚·安布罗西奥 , 马可·维埃拉 :
卫星模拟器背景下的弹性基准描述语言(短文)。 194-197 卡米尔·费约拉斯 , 塞莉亚·马蒂尼 , 菲利普·帕兰克 , 扬尼克·德雷利斯(Yannick Deleris) , Jean-Charles Fabre公司 , 大卫·纳瓦雷 :
评估可靠性对可用性影响的方法:应用于交互式驾驶舱。 198-209
第8部分: 安全和隐私
本杰明·罗德斯 , 约翰·C·奈特 :
推测性软件修改及其在安全SOUP中的应用。 210-221 米格尔·努涅斯·德尔普拉多·科尔特斯 , 耶稣弗里吉纳尔 :
地理位置推断攻击:从建模到隐私风险评估(短文)。 222-225 图沙尔·德什潘德 , 卡氏帕纳吉奥蒂斯 , 斯科特·斯莫尔卡 , 斯科特·斯托勒 :
基于随机博弈的DNS带宽放大攻击概率模型检测分析。 226-237 安阮通 , 杰森·希瑟 , Michele公司 , 内森·肯尼迪 , 大卫·梅尔斯基 , 威廉·埃拉 , 大卫·海德 , 杰克·W·戴维森 , 约翰·C·奈特 :
对B或不对B:用软件DNA枪测序祝福操作系统命令。 238-249