2013 Sixth Latin-American Symposium on Dependable Computing最新文献

Battling Bad Bits with Checksums in the Loris Page Cache 在Loris页面缓存中使用校验和对抗坏位

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.10

D. V. Moolenbroek, Raja Appuswamy, A. Tanenbaum

引用次数: 3

Slicing as a Distributed Systems Primitive 切片作为分布式系统原语

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.21

Francisco Maia, M. Matos, R. Oliveira, E. Rivière

{"title":"Slicing as a Distributed Systems Primitive","authors":"Francisco Maia, M. Matos, R. Oliveira, E. Rivière","doi":"10.1109/LADC.2013.21","DOIUrl":"https://doi.org/10.1109/LADC.2013.21","url":null,"abstract":"Large-scale distributed systems appear as the major infrastructures for supporting planet-scale services. These systems call for appropriate management mechanisms and protocols. Slicing is an example of an autonomous, fully decentralized protocol suitable for large-scale environments. It aims at organizing the system into groups of nodes, called slices, according to an application-specific criteria where the size of each slice is relative to the size of the full system. This allows assigning a certain fraction of nodes to different task, according to their capabilities. Although useful, current slicing techniques lack some features of considerable practical importance. This paper proposes a slicing protocol, that builds on existing solutions, and addresses some of their frailties. We present novel solutions to deal with non-uniform slices and to perform online and dynamic slices schema reconfiguration. Moreover, we describe how to provision a slice-local Peer Sampling Service for upper protocol layers and how to enhance slicing protocols with the capability of slicing over more than one attribute. Slicing is presented as a complete, dependable and integrated distributed systems primitive for large-scale systems.","PeriodicalId":243515,"journal":{"name":"2013 Sixth Latin-American Symposium on Dependable Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134393988","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}

引用次数: 8

Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites 多假设GPS和电子围栏数据融合用于铁路工地安全关键定位

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.23

J. Figueiras, Jesper Grønbæk, H. Schwefel, A. Bondavalli

{"title":"Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites","authors":"J. Figueiras, Jesper Grønbæk, H. Schwefel, A. Bondavalli","doi":"10.1109/LADC.2013.23","DOIUrl":"https://doi.org/10.1109/LADC.2013.23","url":null,"abstract":"Safety-critical applications often use position information as a mean of assessing the safety level of people. For this reason, such information is required to be precise in terms of accuracy and timeliness. This paper regards position mechanisms for personalized warning systems for railway workers. Position accuracy for safety assessment purposes is defined as the precise identification whether the worker is located in a dangerous or safe zone within a certain worksite. This paper extends a previous publication from the same authors to a scenario with multiple workers, while analyzing the combination of wearable GPS receivers and electronic fences strategically placed at the worksite. The proposed data fusion algorithm comprises a Kalman Filter (KF) for filtering GPS observations and a Hidden Markov Model (HMM) for fusion with fence data. A Multiple-Hypothesis Tracking (MHT) mechanism is used to handle multiple workers within the worksite as a mean to compensate the inability of the fence to distinguish the workers. The proposed solution is analyzed under experimental setups. The obtained results outperformed a GPS-only solution and the previously proposed solution by reducing or even removing false alarm and safety-related missed detection events.","PeriodicalId":243515,"journal":{"name":"2013 Sixth Latin-American Symposium on Dependable Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131605887","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}

引用次数: 2

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates 具有优先级与门的动态故障树的静态分析

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.14

Jianwen Xiang, F. Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Y. Maeno

引用次数: 12

Accelerating Online Model Checking 加速在线模型检查

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.20

Mona Qanadilo, Sufyan Samara, Yuhong Zhao

{"title":"Accelerating Online Model Checking","authors":"Mona Qanadilo, Sufyan Samara, Yuhong Zhao","doi":"10.1109/LADC.2013.20","DOIUrl":"https://doi.org/10.1109/LADC.2013.20","url":null,"abstract":"Online model checking is a lightweight verification technique to ensure at runtime the safety of the current execution trace of the system application under test. Doing model checking online suffers from the limited execution time allocated to each checking cycle. In this paper, we focus on accelerating online model checking so that as large the model space as possible can be explored in time. For this purpose, we introduce offline backward exploration so as to reduce the workload of online forward exploration. As a result, online model checking becomes online reach ability checking. SAT solver is used as verification engine for online model checking. We improve the performance of the SAT solver zChaff by optimizing and customizing zChaff with respect to the online model checking specific features. Moreover, we take advantage of the parallel feature and the multi-port memory available on FPGA chips. We present a new underlying architecture using 2 SAT solvers as verification engine for online model checking. We implement a quick prototype of the new underlying architecture for online model checking. Several experiments are done to test the performance of our online model checking.","PeriodicalId":243515,"journal":{"name":"2013 Sixth Latin-American Symposium on Dependable Computing","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129738390","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}

引用次数: 6

Diagnosis of Content Pollution in P2P Live Streaming Networks P2P直播网络中内容污染的诊断

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.13

R. P. Ziwich, Emanuel A. Schimidt, E. P. Duarte, Ingrid Jansch-Pôrto

引用次数: 1

A Model-Driven Approach for Runtime Reliability Analysis 一种模型驱动的运行时可靠性分析方法

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.12

D. Sojer, F. Reichenbach, Stein Erik Ellevseth, C. Buckl, A. Knoll

引用次数: 0

The Time Dimension in Predicting Failures: A Case Study 故障预测的时间维度:一个案例研究

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.25

Ivano Irrera, C. Pereira, M. Vieira

引用次数: 11

Robustness Evaluation of Controllers in Self-Adaptive Software Systems 自适应软件系统中控制器的鲁棒性评价

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.17

J. Cámara, R. Lemos, N. Laranjeiro, Rafael Ventura, M. Vieira

{"title":"Robustness Evaluation of Controllers in Self-Adaptive Software Systems","authors":"J. Cámara, R. Lemos, N. Laranjeiro, Rafael Ventura, M. Vieira","doi":"10.1109/LADC.2013.17","DOIUrl":"https://doi.org/10.1109/LADC.2013.17","url":null,"abstract":"An increasingly important requirement for software-intensive systems is the ability to self-manage by adapting their structure and behavior at run-time in an autonomous way as a response to a variety of changes that may occur to the system, its environment, or its goals. In particular, self-adaptive (or autonomic) systems incorporate complex software components that act as controllers of a target system by executing actions through effectors, based on information monitored by probes. However, although these controllers are becoming critical in many application domains, it is still difficult to assess their robustness. The proposed approach for evaluating the robustness of controllers for self-adaptive software systems, is aimed at the effective identification of design faults. To achieve this objective, our proposal is based on a set of robustness tests that include the provision of mutated inputs to the interfaces between the controller and the target system (i.e., probes). The feasibility of the approach is evaluated in the context of Znn.com, a case study implemented using the Rainbow framework for architecture-based self-adaptation.","PeriodicalId":243515,"journal":{"name":"2013 Sixth Latin-American Symposium on Dependable Computing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130345808","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}

引用次数: 18

Reliability Analysis of Software Architecture Evolution 软件架构演化的可靠性分析

2013 Sixth Latin-American Symposium on Dependable Computing Pub Date : 2013-04-01 DOI: 10.1109/LADC.2013.16

J. M. Franco, R. Barbosa, M. Z. Rela

引用次数: 11