2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)最新文献_第2页

An Effective Two-Level Redundancy Approach for FlexRay Network Systems FlexRay网络系统的有效两级冗余方法

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.14

Yung-Yuan Chen, K. Leu

{"title":"An Effective Two-Level Redundancy Approach for FlexRay Network Systems","authors":"Yung-Yuan Chen, K. Leu","doi":"10.1109/DSN-W.2016.14","DOIUrl":"https://doi.org/10.1109/DSN-W.2016.14","url":null,"abstract":"FlexRay, as a communication protocol for automotive control systems, is developed to fulfill the increasing demand for implementing vehicle electronics with higher safety and more comfort. The applications of FlexRay drive-by-wire systems are often associated with human life, so the reliability issue of FlexRay network systems should be carefully studied. In this paper, we propose an effective two-level redundancy approach for safety-critical FlexRay network systems. The proposed approach demonstrates how to employ the backup nodes, mirrored tasks and task migration to sustain the operation of system when ECUs fail. We then perform the redundancy analysis and develop the analytical reliability models for the assessment of fault-tolerant FlexRay network systems in early design phase. The reliability analysis with various numbers of backup nodes, system sizes and ECU failure rates are conducted and the reliability results are provided and discussed. The contribution of this study is to propose a comprehensive fault-robust methodology with the analytical reliability model to support the development of safety-critical FlexRay network systems with an efficient manner.","PeriodicalId":184154,"journal":{"name":"2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129196318","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}

引用次数: 3

Trusted Software Repair for System Resiliency 可信软件修复系统弹性

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.64

Westley Weimer, S. Forrest, Miryung Kim, Claire Le Goues, P. Hurley

引用次数: 7

On the Feasibility of Distinguishing Between Process Disturbances and Intrusions in Process Control Systems Using Multivariate Statistical Process Control 多元统计过程控制在过程控制系统中区分干扰与入侵的可行性研究

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.32

Mikel Iturbe, J. Camacho, Iñaki Garitano, Urko Zurutuza, Roberto Uribeetxeberria

引用次数: 13

Quantification and Analysis of Interdependency in Cyber-Physical Systems 信息物理系统中相互依赖性的量化与分析

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.47

Koosha Marashi, Sahra Sedigh Sarvestani, A. Hurson

引用次数: 8

Introduction to RADIANCE 2016 RADIANCE 2016简介

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.68

Ariadne Carvalho, Nuno Antunes, A. Ceccarelli, A. Zentai

引用次数: 0

A Unified Framework for Error Correction in On-chip Memories 片上存储器纠错的统一框架

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.65

Frederic Sala, Henry Duwe, L. Dolecek, Rakesh Kumar

引用次数: 4

Safety Engineering for Autonomous Vehicles 自动驾驶汽车的安全工程

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.30

R. Adler, Patrik Feth, D. Schneider

引用次数: 21

Introduction to DISN 2016 DISN 2016简介

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.70

E. P. Duarte, M. Hiltunen, R. Soulé

引用次数: 0

IEEE 802.11n vs. IEEE 802.15.4: A Study on Communication QoS to Provide Safe FANETs IEEE 802.11n与IEEE 802.15.4:提供安全子网的通信QoS研究

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.35

E. Marconato, Jean-Aimé Maxa, D. F. Pigatto, A. R. Pinto, N. Larrieu, K. Branco

{"title":"IEEE 802.11n vs. IEEE 802.15.4: A Study on Communication QoS to Provide Safe FANETs","authors":"E. Marconato, Jean-Aimé Maxa, D. F. Pigatto, A. R. Pinto, N. Larrieu, K. Branco","doi":"10.1109/DSN-W.2016.35","DOIUrl":"https://doi.org/10.1109/DSN-W.2016.35","url":null,"abstract":"Flying Ad hoc Network (FANET) is an infrastructure-less multi-hop radio ad hoc network in which Unmanned Aerial Vehicles (UAVs) and Ground Control Station (GCS) collaborates to forward data traffic. Compared to the standard Mobile Ad hoc NETworks (MANETs), the FANET architecture has some specific features (3D mobility, low UAV density, intermittent network connectivity) that bring challenges to the communication protocol design. Such routing protocol must provide safety by finding an accurate and reliable route between UAVs. This safety can be obtained through the use of agile method during software based routing protocol development (for instance the use of Model Driven Development) by mapping each FANET safety requirement into the routing design process. This process must be completed with a sequential safety validation testing with formal verification tools, standardized simulator (by using real simulation environment) and real-world experiments. In this paper, we considered FANET communication safety by presenting design methodologies and evaluations of FANET routing protocols. We use the LARISSA architecture to guarantee the efficiency and accuracy of the whole system. We also use the model driven development methodology to provide model and code consistency through the use of formal verification tools. To complete the FANET safety validation, OMNeT++ simulations (using real UAVs mobility traces) and real FANET outdoor experiments have been carried out. We confront both results to evaluate routing protocol performances and conclude about its safety consideration.","PeriodicalId":184154,"journal":{"name":"2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116143374","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}

引用次数: 24

NetCo: Reliable Routing With Unreliable Routers NetCo:不可靠路由器下的可靠路由

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Pub Date : 2016-06-01 DOI: 10.1109/DSN-W.2016.38

A. Feldmann, P. Heyder, M. Kreutzer, S. Schmid, Jean-Pierre Seifert, Haya Schulmann, K. Thimmaraju, M. Waidner, J. Sieberg

引用次数: 20