2019 4th International Conference on System Reliability and Safety (ICSRS)最新文献

筛选
英文 中文
A Modified Layer of Protection Analysis for Cyber-Physical Systems Security 一种改进的网络物理系统安全保护层分析
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987635
A. Tantawy, A. Erradi, S. Abdelwahed
{"title":"A Modified Layer of Protection Analysis for Cyber-Physical Systems Security","authors":"A. Tantawy, A. Erradi, S. Abdelwahed","doi":"10.1109/ICSRS48664.2019.8987635","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987635","url":null,"abstract":"Layer of Protection Analysis (LOPA) is the most commonly used approach for quantitative safety risk assessment in the process control industry to protect a Cyber- Physical System (CPS) from accidental hazards-causing failures. The LOPA approach does not take into account failures due to intentional security attacks, hence yielding partially-protected systems. With security breaches on the rise for critical infrastructure, the LOPA methodology needs to be revisited to verify its underlying assumptions and synchronize safety and security lifecycles. In this paper, we study the LOPA methodology and identify the key mathematical assumptions that are violated in the presence of security attacks. We present a mathematical formulation for a modified LOPA to incorporate the probability of a security attack on a CPS and apply it to a testbed case study.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129794334","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
Actionable Safety Analyses in Socio-technical Systems with myFRAM 使用myFRAM进行社会技术系统的可操作安全分析
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987725
G. D. Gravio, F. Costantino, Andrea Falegnami, R. Patriarca
{"title":"Actionable Safety Analyses in Socio-technical Systems with myFRAM","authors":"G. D. Gravio, F. Costantino, Andrea Falegnami, R. Patriarca","doi":"10.1109/ICSRS48664.2019.8987725","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987725","url":null,"abstract":"Complex systems require dedicated models, methods and techniques since safety management in socio-technical systems no longer should rely just on causality principles and structural decomposition. The overall behavior of the system should be considered as emerging from the non-linear interaction of the underlying subsystems. The Functional Resonance Analysis Method (FRAM) is one systemic approach allowing for the construction of deeply informative models. Such semantic richness entails a complexity of the resulting models significantly reflecting a useful portion of systems' reality. Unfortunately, as soon as the analyzed systems are little more than mundane, this richness of information becomes unmanageable whenever it is relying only upon qualitative methods. This paper presents myFRAM version 1.0.3, a free Excel add-on that paves the way for a multitude of systematic analysis types ranging from statistics to complex network analysis and simulation. The trust put in myFRAM by many safety experts who have already adopted it, confirms that it is a valuable tool to sustain the FRAM method. This application builds bridges to several different software and techniques currently available, expanding the potential of the method itself.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132390544","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
Resilience Analysis of Multistate Systems Based on Markov Reward Processes 基于马尔可夫奖励过程的多状态系统弹性分析
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987621
Shijia Du, Zhiguo Zeng, Yining Fang, Qingqing Zhai
{"title":"Resilience Analysis of Multistate Systems Based on Markov Reward Processes","authors":"Shijia Du, Zhiguo Zeng, Yining Fang, Qingqing Zhai","doi":"10.1109/ICSRS48664.2019.8987621","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987621","url":null,"abstract":"In this paper, we develop a resilience modelling and analysis framework for multistate systems. The developed framework is based on Markov reward processes, in which the performance degradation and recovery processes of the multistate system are modeled by a continuous time discrete state Markov chain, and the losses caused by disruptive events are modeled by reward rates. A numerical metric is defined to quantify resilience based on the losses the system suffered from the disruptive events. The developed methods are applied to analyze the resilience of a nuclear power plant under the threat of earthquakes.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125639680","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}
引用次数: 4
Tool-Supported Requirement Engineering: A Categorization of the State of the Art and Research Trends 工具支持的需求工程:技术现状和研究趋势的分类
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987610
Mariana Cadena-Romero, J. O. Ocharán-Hernández, M. Á. Arenas-Valdés, Juan Carlos Pérez Arriaga
{"title":"Tool-Supported Requirement Engineering: A Categorization of the State of the Art and Research Trends","authors":"Mariana Cadena-Romero, J. O. Ocharán-Hernández, M. Á. Arenas-Valdés, Juan Carlos Pérez Arriaga","doi":"10.1109/ICSRS48664.2019.8987610","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987610","url":null,"abstract":"The multiple activities that are part of Requirements Engineering (RE) are benefited from the support of software tools that assists the application of diverse techniques. Given the importance of this phase in software development and specifically in product safety, this article aims to compile the current status of software tools used in the different RE activities to direct future development efforts in this type of tools and identify the activities of the RE, the implemented techniques and which tools focus on the requirements associated with safety. We used systematic literature review method for reviewing the literature on RE tools. We used automatic search strategies for searching the relevant papers published between 1 January 2013 and 31 December 2018 and Meta-aggregation to synthesize the data extracted from the primary studies and to obtain a categorization of findings. We selected 50 articles, 33 conference and 17 journal papers, from the initially retrieved 10,191 articles. The results from the data analysis 248 findings enabled us to classify RE tools in 15 categories and 29 subcategories. This review has enabled us to identify the following areas for further research in software tool assisted RE: 1) is necessary to perform more research on the development of RE tools that specialize in software requirements associated to a quality attribute of interest as safety; 2) it is important to development RE tools activities different areas from requirement specification, validation and management; 3) in is important to conduct evaluation the RE tools founds in non-academic environment.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131605392","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
Reliability of Systems with Simultaneous and Consecutive Failures 同时和连续故障系统的可靠性
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987614
T. Yuge
{"title":"Reliability of Systems with Simultaneous and Consecutive Failures","authors":"T. Yuge","doi":"10.1109/ICSRS48664.2019.8987614","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987614","url":null,"abstract":"A new non-homogeneous shock model for common-cause failure analysis is proposed in this paper. The reliability of a $k$–out-of– $n$ system and a consecutive $k$–out-of– $n$ system subjected to shock and considering the simultaneous failures are discussed. Component failures including common-cause failures are assumed to occur as the result of the occurrence of external shocks. With the assumption that common-cause failures occur within the components located close each other (simultaneous and consecutive failure), the reliabilities of redundant systems are derived. The signed domination is applied to the formulation of a $k$–out-of– $n$ system. The reliability is compared to that of the conventional homogeneous model in numerical example.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114399529","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
A Cost Modeling Method Based on AADL2 基于AADL2的成本建模方法
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987612
Zhibao Mian, Cairong Tang, Y. Gao, Shuli Jia, Xiaodong Shi, Junjie Chen
{"title":"A Cost Modeling Method Based on AADL2","authors":"Zhibao Mian, Cairong Tang, Y. Gao, Shuli Jia, Xiaodong Shi, Junjie Chen","doi":"10.1109/ICSRS48664.2019.8987612","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987612","url":null,"abstract":"The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture optimization analysis of the AADL model. The cost attribute modeling, however, was only assumed to be a simple numerical value. It cannot accurately reflect the actual cost model. In addition, there is still a lack of mature cost modeling methods for AADL. In this paper, we develop a cost modeling method for the latest AADL2. The factors that affect the cost of components and systems are firstly summarized and concluded. Based on those summarized factors, a cost meta-model is secondly abstracted and developed. The cost meta-model is finally defined as a property set in the AADL model. With this cost property set, users can not only use the developed life cycle cost properties directly, but also can define individualized cost properties to meet specific cost requirements. The proposed method has greatly extended the cost modeling capabilities for the AADL.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122011681","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}
引用次数: 0
UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS 无人机操作员的安全性和可靠性调查:面向自主无人机认证的新兴技术
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987692
Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, V. Robu, D. Flynn, J. Perry
{"title":"UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS","authors":"Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, V. Robu, D. Flynn, J. Perry","doi":"10.1109/ICSRS48664.2019.8987692","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987692","url":null,"abstract":"This paper details the results of a survey on safety and reliability of commercial Unmanned Aerial Systems (UAS), issued to 1500 companies in the UK, with a 10% response rate. The results of this study concur with previous studies that commercial UAS have a failure rate of 1/103 flight hours. Furthermore, we found a reported 49% of companies believe a critical failure will occur within every 500 hours of flight. We investigate the responses concerning UAS subsystems; the experience of onboard intelligent systems, current practices around the frequency of maintenance and servicing of subsystems, and subsystems identified in order of the highest likelihood of failure. Informed by the results of this survey and a state of the art literature review we identify emerging technologies and methods as candidate solutions to the respondents reported challenges, such as; Integrated Vehicle Health Management (IVHM), Formal Methods, Simulations and Fault Tolerant Control (FTC). The integration of these techniques, in a systematic framework with a supporting automatic tool-chain, is identified as a candidate solution to reliability and certification challenges in UAS.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122060975","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
Collision Response of a Cutting Energy Absorber and Its Application to Crashworthiness of Metro Trains 切削吸能器的碰撞响应及其在地铁列车耐撞性中的应用
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987709
Jiangfeng Ding, Xiao-rui Wang
{"title":"Collision Response of a Cutting Energy Absorber and Its Application to Crashworthiness of Metro Trains","authors":"Jiangfeng Ding, Xiao-rui Wang","doi":"10.1109/ICSRS48664.2019.8987709","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987709","url":null,"abstract":"Due to the advantages of stable interforce level and high energy absorption capacity, the Cutting energy absorber (CEA) is of broadly application prospects in the field of passive safety protection of rail transit. However, the simulation process of CEA is more complicated. Besides, unlike the others, there are many more factors that need to be considered in the simulation process of CEA. So, the simulation analysis is one of the most common research methods to study the performance of energy absorber and crashworthiness of rail trains. In this paper, a CEA is proposed, and its crashworthiness in the train is analyzed and verified. Firstly, the quasi-static simulation analysis of the CEA is carried out considering Johnson-Cook constitutive relation, material failure, and thermal coupling effect. The impact peak force and average forces are 650.5 kN and 627.0 kN, and the errors are 0.077% and 3.636% respectively compared with the test results, which indicates the simulation model accurately simulates the action process of the CEA. Then, a collision simulation analysis of a particular type of metro train with the cutting energy absorbing device is carried out, and the structural crashworthiness is evaluated based on the EN 15227 standard. The results show that the CEA has a stable interfacial force, good deformation, and peeling response in the cutting process. The energy absorbed by CEA is 510 kJ, accounting for 18% of the total collision energy, which indicates the excellent energy absorption characteristics.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122778134","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
The Time Losses as a Reliability of Transport in the Municipal Network during the Mass Event 群体性事件中市政网络传输可靠性的时间损失
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987606
M. Ziemska, L. Smolarek
{"title":"The Time Losses as a Reliability of Transport in the Municipal Network during the Mass Event","authors":"M. Ziemska, L. Smolarek","doi":"10.1109/ICSRS48664.2019.8987606","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987606","url":null,"abstract":"The city of Gdynia since 2003 is the organizer of one of the biggest music festivals in Europe. City count about 244 000 inhabitants and the festival in 2015 appeared about 120 000 people. Arrange transport for such a large number of people is a huge problem for city authorities and organizers. Changes in traffic conditions and freedom of movement around the city are cumbersome for inhabitants of the city. Gdynia has access to the maritime port; freight transport is an inherent image of the city. The city has a specific location of the infrastructure, in the centre of the city is a port. Port is divided city into northern and southern part. Residents of the north can only use the road infrastructure to get to the south and to the city centre. The city provides festival participants with free access to the festival area by city buses. This article presents the loss of time generated by increased traffic on the road during festival days. The reliability of the urban network laden by the traffic of passenger vehicles, trucks to the port as well as special festival buses is based on calculations of the mathematical model. The data on which the model was developed come from TRISTAR's (Tricity's Intelligent Transportation System) - the vehicle counting system and traffic metering station. This System allows to count the time of each vehicle which has been detected by the induction loop and thus the time intervals between vehicles. The data are compared with the festival days and typical days of operation in the transport network.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124188924","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
Generative Adversarial Network Based Multi-class Imbalanced Fault Diagnosis of Rolling Bearing 基于生成对抗网络的多类滚动轴承不平衡故障诊断
2019 4th International Conference on System Reliability and Safety (ICSRS) Pub Date : 2019-11-01 DOI: 10.1109/ICSRS48664.2019.8987602
Qianjun Liu, Guijun Ma, Cheng Cheng
{"title":"Generative Adversarial Network Based Multi-class Imbalanced Fault Diagnosis of Rolling Bearing","authors":"Qianjun Liu, Guijun Ma, Cheng Cheng","doi":"10.1109/ICSRS48664.2019.8987602","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987602","url":null,"abstract":"Fault diagnosis of rolling bearing plays an important role for the assessment of system reliability. Meanwhile, the number of fault data tend to be much less than the normal data in the real application. This imbalanced problem will greatly reduce the accuracy of most traditional fault diagnosis methods. Especially for the multi-classification problem, some conventional methods can not have good performance on dealing with unbalanced data. In this paper, a method based on generative adversarial network network which generates data for data unbalanced compensation is proposed. This method use designed generator to generate the virtual data which has significant useful features to puzzle the discriminator. Moreover, the virtual data that out-trick the discriminator can be added into the minor dataset. Finally, the classifier based on Convolutional Neurtal Network will dispose the new dataset. In order to verify the effect of this method, experiments based on major methods and proposed method are executed on the CWRU bearing dataset under different loads, which will reduce the correlation of data over time continuity in order to achieve a more realistic fit. Moreover, the proposed method has been compared with several widely applied methods for imbalanced data in fault diagnosis in terms of accuracy. Finally, the comparative results demonstrate that the proposed method has better performance on dealing with the imbalanced problem in fault diagnosis of the rolling bearing than major methods.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125195987","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信