2015 IEEE International Conference on Dependable Systems and Networks Workshops最新文献

Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method 服务劣化分析(SDA):一种早期开发阶段可靠性分析方法

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.13

Georg Macher, Andrea Höller, H. Sporer, E. Armengaud, Christian Kreiner

{"title":"Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method","authors":"Georg Macher, Andrea Höller, H. Sporer, E. Armengaud, Christian Kreiner","doi":"10.1109/DSN-W.2015.13","DOIUrl":"https://doi.org/10.1109/DSN-W.2015.13","url":null,"abstract":"Dependability is a super ordinate concept regrouping different system attributes such as reliability, safety, security, or availability and a key selling point of modern embedded systems. Dependable systems rely on mature quality management and development methods such as requirements / systems engineering and system analyses. In the automotive domain analysis methods for safety and security attributes at early development phases are well known and partially mandatory by domain standards. Nevertheless, approaches for analysis of serviceability attributes (the combination of reliability and maintainability) at early development phases are not yet available. Aim of the paper is to present a novel analysis method to quantify the impact of individual system parts on the overall system serviceability at early development phases. This approach bases on the concepts of state-of-the-art methods for safety and security analysis and extends their scope of application to serviceability feature quantification, thus enables consistent identification of system dependability target attributes. This, in turn, is a pre-requisite for ensuring a certain level of system dependability from start of development. In the second part of the document the application of the novel approach is demonstrated on an automotive training example of a battery management system.","PeriodicalId":202329,"journal":{"name":"2015 IEEE International Conference on Dependable Systems and Networks Workshops","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115771598","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}

引用次数: 5

Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System 量化外部攻击对分布式自动航迹预警系统的影响

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.22

Leonardo Montecchi, P. Lollini, A. Bondavalli

{"title":"Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System","authors":"Leonardo Montecchi, P. Lollini, A. Bondavalli","doi":"10.1109/DSN-W.2015.22","DOIUrl":"https://doi.org/10.1109/DSN-W.2015.22","url":null,"abstract":"For several years, the vulnerability of Critical Infrastructures (CIs) to cyber-threats has been limited, since they were mostly isolated systems, using proprietary protocols. Nowadays, CIs are increasingly threatened by external attacks: the use of off-the-shelf components is common, they have become interconnected, and sometimes also connected to the Internet. This problem is exacerbated by the recent trend towards the adoption of wireless connectivity and mobile devices, which is gaining interest also in this domain. One of the main challenges is to quantify the impact that external attacks may have on the infrastructure, and ensure that its dependability and safety requirements can still be fulfilled. In this paper we focus on the ALARP system, which protects workers on the railway infrastructure using distributed mobile terminals, and evaluate the impact of two attacks to the communication infrastructure. In performing such analysis, we experiment with a new method, which combines a stochastic model of the system with a model of the attacker, and quantifies the impact of specific attacks on precise safety and availability metrics.","PeriodicalId":202329,"journal":{"name":"2015 IEEE International Conference on Dependable Systems and Networks Workshops","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123226613","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}

引用次数: 1

Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents 从自然语言标准文档中半自动生成扩展有限状态机

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.17

J. Greghi, E. Martins, Ariadne Carvalho

引用次数: 10

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System 基于资产的洪水预警系统可用性和安全性分析方法

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.12

F. Machida, Jianwen Xiang, Kumiko Tadano, S. Hosono

引用次数: 1

The Use of a Graphic Processing Unit (GPU) in a Real Time Visual Odometry Application 图形处理单元(GPU)在实时视觉里程计应用中的使用

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.32

Jaime Armando Delgado Vargas, P. Kurka

引用次数: 2

Studying the Propagation of Failures in SOAs 研究soa中的故障传播

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.18

Cristiana Areias, J. Cunha, M. Vieira

引用次数: 3

A Virtual Fault Injection Framework for Reliability-Aware Software Development 面向可靠性感知软件开发的虚拟故障注入框架

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.16

Andrea Höller, Georg Macher, T. Rauter, Johannes Iber, Christian Kreiner

{"title":"A Virtual Fault Injection Framework for Reliability-Aware Software Development","authors":"Andrea Höller, Georg Macher, T. Rauter, Johannes Iber, Christian Kreiner","doi":"10.1109/DSN-W.2015.16","DOIUrl":"https://doi.org/10.1109/DSN-W.2015.16","url":null,"abstract":"Ever more dependable embedded systems are built with commercial off-the-shelf hardware components that are not intended for highly reliable applications. Consequently, software-based fault tolerance techniques have to maintain a safe operation despite underlying hardware faults. In order to efficiently develop fault tolerant software, fault injection is needed in early development stages. However, common fault injection approaches require manufactured products or detailed hardware models. Thus, these techniques are typically not applicable if software and hardware providers are separate vendors. Additionally, the rise of third-party OTS software components limits the means to inject faults. In this paper, we present a virtual fault injection framework that simulates safety-standard aligned fault models and supports OTS software components as well as widely-used embedded processors such as ARM cores. Additionally, we show how to integrate the framework into various software development stages. Finally, we illustrate the practicability of the approach by exemplifying the integration of the framework in the development of an industrial safety-critical system.","PeriodicalId":202329,"journal":{"name":"2015 IEEE International Conference on Dependable Systems and Networks Workshops","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124821240","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}

引用次数: 26

An Approach to Clustering and Sequencing of Textual Requirements 一种文本需求的聚类和排序方法

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.20

R. Barbosa, Daniele Januario, A. E. Silva, Regina L. O. Moraes, Paulo S. Martins

引用次数: 11

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues 复杂集成空间系统缺陷类型影响评估:基于ODC和ISVV问题的分析

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.19

N. Silva, M. Vieira, D. Ricci, Domenico Cotroneo

引用次数: 2

Cost Prediction for V&V and Certification Processes V&V和认证过程的成本预测

2015 IEEE International Conference on Dependable Systems and Networks Workshops Pub Date : 2015-06-22 DOI: 10.1109/DSN-W.2015.15

F. Brancati, A. Pataricza, N. Silva, Ábel Hegedüs, László Gönczy, A. Bondavalli, R. Esposito

{"title":"Cost Prediction for V&V and Certification Processes","authors":"F. Brancati, A. Pataricza, N. Silva, Ábel Hegedüs, László Gönczy, A. Bondavalli, R. Esposito","doi":"10.1109/DSN-W.2015.15","DOIUrl":"https://doi.org/10.1109/DSN-W.2015.15","url":null,"abstract":"Cost (time and effort) estimation is fundamental in system and software management. The software related research, together with industries, elaborated and currently use a large number of different cost estimators (CE). While expert judgment is still the most widely used estimation practice in industry, these estimators take a representative calibration set of projects and use a best matching extrapolation curve to predict the costs of further projects. The approach has proven its usefulness in predicting system and software development cost with the breakdown granularity of the main phases of the workflow (specification, implementation, testing etc.). However, there is no such CE for the broad application field of safety critical applications which would be fine granular enough to predict the costs related to Verification and Validation (V&V) and certification. The paper presents an ongoing work for creating such a V&V specific CE. The usefulness of the approach is illustrated by a \"what-if\" analysis example on the impacts of introducing sophisticated formal methods into the V&V workflow instead of the traditional methodology.","PeriodicalId":202329,"journal":{"name":"2015 IEEE International Conference on Dependable Systems and Networks Workshops","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115170383","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}

引用次数: 1