2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)最新文献

Key issues in service systems resilience 服务系统弹性中的关键问题

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615534

K. Furuta, T. Kanno

引用次数: 5

On reliability analysis of leader election protocols for virtual traffic lights 虚拟交通灯领导选举协议的可靠性分析

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615529

Negin Fathollahnejad, E. Villani, R. Pathan, R. Barbosa, J. Karlsson

{"title":"On reliability analysis of leader election protocols for virtual traffic lights","authors":"Negin Fathollahnejad, E. Villani, R. Pathan, R. Barbosa, J. Karlsson","doi":"10.1109/DSNW.2013.6615529","DOIUrl":"https://doi.org/10.1109/DSNW.2013.6615529","url":null,"abstract":"This paper addresses the problem of leader election in virtual traffic lights. A virtual traffic light (VTL) is a self-organizing traffic control system that allows road vehicles equipped with vehicle-to-vehicle communication facilities to implement the function of a traffic light without the support of a roadside installation. Previous research has shown that it is impossible to construct a leader election protocol that guarantees agreement among the participating vehicles in the presence of massive communication failures. The paper addresses the problem of calculating the probability of disagreement in situations where a large number of protocol messages are lost due to communication interference, so-called communication grey-outs. To this end, we present a probabilistic analysis of a family of simple round-based consensus algorithms that solve the 1-of-n selection problem. We propose to use these algorithms for the core logic of a VTL leader election protocol (LEP). Our analysis shows that the probability of disagreement depends on: i) the number of vehicles involved in the leader election, ii) the number of rounds of message exchange, iii) the probability of message loss, and iv) the decision criterion used by the LEP. We propose an optimistic and a pessimistic decision criteria for the proposed 1-of-n selection algorithms. The analysis encompass two probabilistic failure models, one for symmetric communication failures and one for asymmetric communication failures.","PeriodicalId":377784,"journal":{"name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128082869","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}

引用次数: 20

Model-based evaluation of system resilience 基于模型的系统弹性评估

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615535

J. F. Meyer

引用次数: 8

Towards evaluating the impact of data quality on service applications 评估数据质量对服务应用程序的影响

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615509

N. Ivaki, N. Laranjeiro, M. Vieira

引用次数: 2

Interoperability in fingerprint recognition: A large-scale empirical study 指纹识别中的互操作性:大规模实证研究

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615516

L. Lugini, Emanuela Marasco, B. Cukic, Ilir Gashi

引用次数: 17

Community-based resilient electricity sharing: Optimal spatial clustering 基于社区的弹性电力共享:最优空间集群

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615539

Y. Yamagata, H. Seya

{"title":"Community-based resilient electricity sharing: Optimal spatial clustering","authors":"Y. Yamagata, H. Seya","doi":"10.1109/DSNW.2013.6615539","DOIUrl":"https://doi.org/10.1109/DSNW.2013.6615539","url":null,"abstract":"This paper extends our proposing (Yamagata and Seya 2012) concept of a community-based disaster resilient electricity sharing system (DRESS) as a complement or an alternative to the feed-in-tariff (FiT) to achieve CO2 neutral in cities. In this system, electricity generated from widely introduced solar photovoltaic panels (PVs) is stored to the “cars not in use” in a city. In the central part of the Tokyo metropolitan area, almost half of the cars is used only on weekends and are kept parking during the weekdays. Hence, there exists a huge new potential if those cars are replaced by electric vehicles (EVs) in the future, namely they may be used as new battery storages using vehicle to grid (V2G) at a community level. This study extends our previous paper. Firstly, by using actual ground areas of buildings, we estimate PVs supply potential more accurately. The result shows that the hourly electricity surplus (PV supply minus demand) can be fully stored without waste if 27% of the parking EVs are used as battery storage at the whole city level, although there exist significant spatial differences at local district level. Secondly, based on the geographical demand-supply estimates, we check the possibility of local electricity sharing by combing high and low storage potential districts to form electricity self-sufficient resilient communities. Finally, we analyze the optimal community clustering using Moran's I index. We show that the 40%, instead of 27%, is an optimal EV electricity sharing rate, if we consider the resilience against black-out risk.","PeriodicalId":377784,"journal":{"name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122663790","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

Reliable mission deployment in vulnerable distributed systems 脆弱分布式系统的可靠任务部署

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615514

Massimiliano Albanese, S. Jajodia, R. Jhawar, V. Piuri

{"title":"Reliable mission deployment in vulnerable distributed systems","authors":"Massimiliano Albanese, S. Jajodia, R. Jhawar, V. Piuri","doi":"10.1109/DSNW.2013.6615514","DOIUrl":"https://doi.org/10.1109/DSNW.2013.6615514","url":null,"abstract":"Recent years have seen a growing interest in mission-centric operation of large-scale distributed systems. However, due to their complexity, these systems are prone to failures and vulnerable to a wide range of cyber-attacks. Current solutions focus either on the infrastructure itself or on mission analysis, but fail to consider information about the complex interdependencies existing between system components and mission tasks. In this paper, we take a different approach, and present a solution for deploying mission tasks in a distributed computing environment in a way that minimizes a mission's exposure to vulnerabilities by taking into account available information about vulnerabilities and dependencies. We model the mission deployment problem as a task allocation problem, subject to various dependability constraints. The proposed solution is based on the A* algorithm for searching the solution space, but we also introduce a heuristic to significantly improve the search performance. We validate our approach, and show that our algorithm scales linearly with the size of both missions and networks.","PeriodicalId":377784,"journal":{"name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124071024","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

The KARYON project: Predictable and safe coordination in cooperative vehicular systems KARYON项目:协作车辆系统中可预测和安全的协调

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615530

A. Casimiro, J. Kaiser, E. Schiller, Pedro Costa, José Parizi, Rolf Johansson, R. Librino

{"title":"The KARYON project: Predictable and safe coordination in cooperative vehicular systems","authors":"A. Casimiro, J. Kaiser, E. Schiller, Pedro Costa, José Parizi, Rolf Johansson, R. Librino","doi":"10.1109/DSNW.2013.6615530","DOIUrl":"https://doi.org/10.1109/DSNW.2013.6615530","url":null,"abstract":"KARYON, a kernel-based architecture for safety-critical control, is a European project that proposes a new perspective to improve performance of smart vehicle coordination. The key objective of KARYON is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. One of the main challenges is to ensure high performance levels of vehicular functionality in the presence of uncertainties and failures. This paper describes some of the steps being taken in KARYON to address this challenge, from the definition of a suitable architectural pattern to the development of proof-of-concept prototypes intended to show the applicability of the KARYON solutions. The project proposes a safety architecture that exploits the concept of architectural hybridization to define systems in which a small local safety kernel can be built for guaranteeing functional safety along a set of safety rules. KARYON is also developing a fault model and fault semantics for distributed, continuous-valued sensor systems, which allows abstracting specific sensor faults and facilitates the definition of safety rules in terms of quality of perception. Solutions for improved communication predictability are proposed, ranging from network inaccessibility control at lower communication levels to protocols for assessment of cooperation state at the process level. KARYON contributions include improved simulation and fault-injection tools for evaluating safety assurance according to the ISO 26262 safety standard. The results will be assessed using selected use cases in the automotive and avionic domains.","PeriodicalId":377784,"journal":{"name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127176268","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

Fault-tolerant broadcast algorithms for the virtual hypercube topology 虚拟超立方体拓扑的容错广播算法

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615520

L. A. Rodrigues

引用次数: 1

Survey on security threats and protection mechanisms in embedded automotive networks 嵌入式汽车网络安全威胁及防护机制研究

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2013-06-24 DOI: 10.1109/DSNW.2013.6615528

Ivan Studnia, V. Nicomette, E. Alata, Y. Deswarte, M. Kaâniche, Youssef Laarouchi

引用次数: 164