2014 Tenth European Dependable Computing Conference最新文献

On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure 智能电网基础设施弹性分析的建模方法

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.34

S. Chiaradonna, F. Giandomenico, N. Murru

{"title":"On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure","authors":"S. Chiaradonna, F. Giandomenico, N. Murru","doi":"10.1109/EDCC.2014.34","DOIUrl":"https://doi.org/10.1109/EDCC.2014.34","url":null,"abstract":"The evolution of electrical grids, both in terms of enhanced ICT functionalities to improve efficiency, reliability and economics, as well as the increasing penetration of renewable redistributed energy resources, results in a more sophisticated electrical infrastructure which poses new challenges from several perspectives, including resilience and quality of service analysis. In addition, the presence of interdependencies, which more and more characterize critical infrastructures (including the power sector), exacerbates the need for advanced analysis approaches, to be possibly employed since the early phases of the system design, to identify vulnerabilities and appropriate countermeasures. In this paper, we outline an approach to model and analyze smart grids and discuss the major challenges to be addressed in stochastic model-based analysis to account for the peculiarities of the involved system elements. Representation of dynamic and flexible behavior of generators and loads, as well as representation of the complex ICT control functions required to preserve and/or re-establish electrical equilibrium in presence of changes need to be faced to assess suitable indicators of the resilience and quality of service of the smart grid.","PeriodicalId":364377,"journal":{"name":"2014 Tenth European Dependable Computing Conference","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117053984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

A Framework for Creating Binary Rewriting Tools (Short Paper) 创建二进制重写工具的框架(短论文)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.14

Jason Hiser, A. Nguyen-Tuong, M. Co, Benjamin D. Rodes, M. Hall, Clark L. Coleman, J. Knight, J. Davidson

引用次数: 7

Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report) 统计检验在Dungeness B核电站数据处理与控制系统中的应用(实践经验报告)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.38

Helen Gough, S. Kuball

{"title":"Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report)","authors":"Helen Gough, S. Kuball","doi":"10.1109/EDCC.2014.38","DOIUrl":"https://doi.org/10.1109/EDCC.2014.38","url":null,"abstract":"This experience report describes the successful application of statistical software testing to a large-scale realworld equipment replacement project. The Data Processing System at Dungeness B nuclear power station is obsolescent and needs to be replaced by a new system involving different technology. The new Data Processing and Control System (DPCS) involves a large amount of software code, with the potential for software failures, and therefore confidence needs to be established in the dependability of the new software-based system. Statistical software testing (ST) was used as one technique to do this. The aim was to support the claim that with high confidence the higher integrity parts of the replacement software have a failure probability of better than 10-2 failures per demand (fpd). This paper describes how this has been achieved by careful design of the statistical tests and by the development of a large number of supporting tools and procedures. A total of 395 statistical tests with no failure was achieved providing at least 98% confidence that the safety claim has been met.","PeriodicalId":364377,"journal":{"name":"2014 Tenth European Dependable Computing Conference","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122358911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Binary-Level Fault Injection for AUTOSAR Systems (Short Paper) AUTOSAR系统的二值级故障注入(短文)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.21

M. Islam, Nithilan Meenakshi Karunakaran, Johan Haraldsson, Fredrik Bernin, J. Karlsson

引用次数: 10

On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments 无声性:用故障注入实验研究无声故障

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.16

E. V. D. Kouwe, Cristiano Giuffrida, A. Tanenbaum

引用次数: 6

From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper) 从弹性计算架构概念到基于无线传感器网络的应用(短文)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.23

M. Stoicescu, J. Fabre, Matthieu Roy, Animesh Pathak

引用次数: 0

Gaining Confidence on Dependability Benchmarks' Conclusions through "Back-to-Back" Testing (Practical Experience Report) 通过“背靠背”测试获得对可靠性基准结论的信心(实践经验报告)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.20

Miquel Martínez, D. Andrés, Juan-Carlos Ruiz-Garcia

引用次数: 9

Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper) 通过在线故障预测提高基于组件的软件系统的可靠性(短文)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.28

Teerat Pitakrat, A. Hoorn, Lars Grunske

{"title":"Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper)","authors":"Teerat Pitakrat, A. Hoorn, Lars Grunske","doi":"10.1109/EDCC.2014.28","DOIUrl":"https://doi.org/10.1109/EDCC.2014.28","url":null,"abstract":"Online failure prediction for large-scale software systems is a challenging task. One reason is the complex structure of many-partially inter-dependent-hardware and software components. State-of-the-art approaches use separate prediction models for parameters of interest or a monolithic prediction model which includes different parameters of all components. However, they have problems when dealing with evolving systems. In this paper, we propose our preliminary research work on online failure prediction targeting large-scale component-based software systems. For the prediction, three complementary types of models are used: (i) an architectural model captures relevant properties of hardware and software components as well as dependencies among them, (ii) for each component, a prediction model captures the current state of a component and predicts independent component failures in the future, (iii) a system-level prediction model represents the current state of the system and-using the component-level prediction models and information on dependencies-allows to predict failures and analyze impacts of architectural system changes for proactive failure management.","PeriodicalId":364377,"journal":{"name":"2014 Tenth European Dependable Computing Conference","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114125655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

An Autonomic Implementation of Reliable Broadcast Based on Dynamic Spanning Trees 基于动态生成树的可靠广播自治实现

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.31

L. A. Rodrigues, L. Arantes, E. P. Duarte

引用次数: 13

Mining Invariants from SaaS Application Logs (Practical Experience Report) 从SaaS应用程序日志中挖掘不变量(实践经验报告)

2014 Tenth European Dependable Computing Conference Pub Date : 2014-05-13 DOI: 10.1109/EDCC.2014.18

S. Sarkar, R. Ganesan, M. Cinque, Flavio Frattini, S. Russo, Agostino Savignano

{"title":"Mining Invariants from SaaS Application Logs (Practical Experience Report)","authors":"S. Sarkar, R. Ganesan, M. Cinque, Flavio Frattini, S. Russo, Agostino Savignano","doi":"10.1109/EDCC.2014.18","DOIUrl":"https://doi.org/10.1109/EDCC.2014.18","url":null,"abstract":"The increasing popularity of Software as a Service (SaaS) stresses the need of solutions to predict failures and avoid service interruptions, which invariably result in SLA violations and severe loss of revenue. A promising approach to continuously monitor the correct functioning of the system is to check the execution conformance to a set of invariants, i.e., properties that must hold when the system is deemed to run correctly. In this paper we propose a framework and a tool to automatically discover invariants from application logs and to online detect their violation. The framework has been applied on 9 months of log events from a real-world SaaS application. Results show that the proposed tool is able to automatically select 12 invariants with a stringent goodness of fit criteria out of more than 500 potential relationships. We also show the usefulness of our approach to detect runtime issues from logs in the form of violations of selected invariants, corresponding to silent errors that usually go unnoticed by the system maintenance personnel, even if they could represent symptoms of upcoming service failures.","PeriodicalId":364377,"journal":{"name":"2014 Tenth European Dependable Computing Conference","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129565746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11