2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)最新文献_第7页

Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces Hypervisor Hypercall接口的软件老化行为测试

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00075

Lukas Beierlieb, Lukas Iffländer, Aleksandar Milenkoski, Charles F. Gonçalves, Nuno Antunes, Samuel Kounev

引用次数: 3

Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing 软件老化对边缘计算植物异常检测的影响分析

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00073

E. Andrade, F. Machida

{"title":"Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing","authors":"E. Andrade, F. Machida","doi":"10.1109/ISSREW.2019.00073","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00073","url":null,"abstract":"Edge computing allows data-intensive analytic processes running on a cloud server to migrate to a local computing environment near the data sources, and as a result the architecture can benefit from a significant bandwidth reduction as well as improved security. However, due to the scarcity of resources on an edge device, a problem of software aging is likely to occur after longtime execution. The consequence of software aging should be significant, whereas such a risk has not been studied in the previous literature. In this paper, we propose a deterministic and stochastic Petri Net (DSPN) to quantitatively analyze the impacts of software aging phenomenon on a cyber-physical system using edge computing. As a data analytic application using real-world sensor data, we consider anomaly detection for a water treatment plant. We introduce two application-oriented performance measures, namely detection loss probability and the expected number of false alarms in terms of plant anomaly detection. Our numerical and simulation experiments on the proposed DSPN show that software aging clearly has negative impacts on the defined performance measures that reveal the necessity of greater attention to software aging issues in edge computing systems.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129928157","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

SHIFT 2019 Workshop Committees SHIFT 2019工作坊委员会

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/issrew.2019.00031

引用次数: 0

Lost in Disclosure: On the Inference of Password Composition Policies 在披露中迷失:密码组合策略的推理

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00082

S. A. Johnson, J. Ferreira, A. Mendes, Julien Cordry

引用次数: 3

[ISSRE 2019 Doctoral Symposium Keynotes - 2 abstracts] [ISSRE 2019博士研讨会主题演讲- 2个摘要]

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/issrew.2019.00010

引用次数: 0

Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering 为保证和认证以及以知识为中心的系统工程集成工具支持

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00092

J. Vara, Eugenio Parra, Luis Alonso, Roy Mendieta, Borja López, J. A. Rodríguez

引用次数: 5

Pinpoint Data Races via Testing and Classification 通过测试和分类确定数据竞争

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00100

Marc Hartung, F. Schintke, T. Schütt

{"title":"Pinpoint Data Races via Testing and Classification","authors":"Marc Hartung, F. Schintke, T. Schütt","doi":"10.1109/ISSREW.2019.00100","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00100","url":null,"abstract":"Data races, i.e. the uncoordinated read/write access of threads to a shared variable resulting in unexpected program behaviour, in parallel shared memory programs occur highly dependent on the timing and scheduling of threads during execution. This makes data races hard to detect manually and automatically. Corresponding tools typically suspect too many code locations to cause data races and miss critical ones as the observed execution and timing did not raise them. We present methods and a tool chain for C/C++ codes with POSIX threads to detect data races and verify their harmfulness. We use automatic instrumentation and repeated test-case execution using a user-space thread scheduler overriding the kernel-space scheduler to intentionally generate specific thread interleavings. As the thread scheduling becomes deterministic and independent from the system in use, targeted testing of thread schedules can reveal and verify otherwise hard to find data races. For each data race we classify its harmfulness based on well-defined attributes and can in most cases identify and report its root cause, i.e. the data race which, when fixed, protects the program from crashing. This and a low false positive rate in the reports greatly reduces the overhead in fixing data races for developers.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133495848","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

Governing Regression Testing in Systems of Systems 在系统的系统中控制回归测试

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00064

A. Bertolino, G. D. Angelis, F. Lonetti

引用次数: 8

Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study 随机硬件故障对安全关键人工智能应用影响的量化:基于cnn的交通标志识别案例研究

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00058

Michael Beyer, A. Morozov, K. Ding, Sheng Ding, K. Janschek

{"title":"Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study","authors":"Michael Beyer, A. Morozov, K. Ding, Sheng Ding, K. Janschek","doi":"10.1109/ISSREW.2019.00058","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00058","url":null,"abstract":"Nowadays, Artificial Intelligence (AI) rapidly enters almost every safety-critical domain, including the automotive industry. The next generation of functional safety standards has to define appropriate verification and validation techniques and propose adequate fault tolerance mechanisms. Several AI frameworks, such as TensorFlow by Google, have already proven to be effective and reliable platforms. However, similar to any other software, AI-based applications are prone to common random hardware faults, e.g., bit-flips which may occur in RAM or CPU registers and might lead to silent data corruption. Therefore, it is crucial to understand how different hardware faults affect the accuracy of AI applications. This paper introduces our new fault injection framework for TensorFlow and results of first experiments conducted on a Convolutional Neural Network (CNN) based traffic sign classifier. These results demonstrate the feasibility of the fault injection framework. In particular, they help to identify the most critical parts of a neural network under test.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133649714","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

Software Longevity in the Wild: Folklore and Law 野外软件寿命:民间传说和法律

2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2019-10-01 DOI: 10.1109/ISSREW.2019.00077

M. Nogueira, Felipe Assis, D. Menasché, G. Xexéo, K. Wolter

{"title":"Software Longevity in the Wild: Folklore and Law","authors":"M. Nogueira, Felipe Assis, D. Menasché, G. Xexéo, K. Wolter","doi":"10.1109/ISSREW.2019.00077","DOIUrl":"https://doi.org/10.1109/ISSREW.2019.00077","url":null,"abstract":"Software rejuvenation is in vogue. Articles in the news indicate that airlines are already enforcing the frequent rejuvenation of airplane software, and other industries are likely to follow the same trend. At the same time, there is a vast folklore on software longevity, appearing in online forums at websites such as Reddit. The goal of this vision paper is to present a broad perspective contrasting the expected lifetime of so called \"epic\" machines with very long uptimes against the purposely short uptimes enforced by recent law regulations. Our aim is to illustrate what can be learned both from forums (folklore) and from the regulations (enforced by legal agencies) about the two ends of the spectrum of software longevity, namely, very long uptimes and relatively short ones. In particular, we indicate that long uptimes typically occur at servers and that there are security concerns about such long lived routers that remain unpatched for long periods of time, whereas short uptimes typically occur due to concerns about safety and performance at critical systems wherein patching is costly but the restart of the system is less expensive. Currently, law enforcement occurs reactively after bugs are found. We envision that this paper will bring awareness to the scientific community and practitioners about the relevance of law enforcement for critical-system software rejuvenation more broadly even before the bugs are founds, given their widespread and recurrent prevalence.","PeriodicalId":166239,"journal":{"name":"2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130336620","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