Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, S. Gerwinn, Georg Hake, A. Hahn
{"title":"An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System","authors":"Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, S. Gerwinn, Georg Hake, A. Hahn","doi":"10.1109/ICSRS48664.2019.8987712","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987712","url":null,"abstract":"Traffic density at sea has constantly grown over the last years due to rising shipping of goods. As a consequence it has become a more and more difficult task for the ship's operating crew to assess a traffic situation and anticipate its future development. Automated collision avoidance systems can assist the crew in this task to reduce the number and severity of accidents. Such a system is the MTCAS (Maritime Traffic Alert and Collision Avoidance System). Before safety-critical systems like this can go to market they have to undergo a verification and validation process to ensure safety. An important part of this process is the hazard and risk assessment. In this paper we review the state of the art of existing methods for hazard and risk assessment with regard to their applicability to highly automated systems. After identifying the limitations of existing methods we propose a new method especially tailored for highly automated systems and exemplary apply it to MTCAS.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122644110","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}
{"title":"Reliability Assessment of Optoelectronic Systems with Stochastic Interactions under Accelerated Degradation Testing","authors":"Minh-Tuan Truong, P. Do, L. Mendizabal, B. Iung","doi":"10.1109/ICSRS48664.2019.8987697","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987697","url":null,"abstract":"In recent years, thanks to the rapid advances in technology, the optoelectronic devices become more and more complex with strong interactions (e.g. multi-chip module, chip-on-chip integration, photonic integrated circuit, etc) and require high performance levels. One of the most recognized challenges of such a system is its reliability assessment. In that way, the objective of this paper is to develop of an accelerated degradation testing model allowing to evaluate the reliability of an optoelectronic system. Firstly, the stochastic interactions between components under a given stress mode are modeled and formulated. Next, a degradation model considering the stochastic interactions between components is developed for each component. Then, reliability models for both component and system levels are investigated. Finally, a numerical example of a system on chip is conducted to illustrate the uses and advantages of the proposed models.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121817315","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}
Mingxi Cai, Xiao-bing Li, Wen-An Mo, Sheng-Gang Xu, Jian-Feng Yang
{"title":"Environmental Safety Evaluation Technology of Unmanned Aerial Vehicles Based on Quality Function Deployment","authors":"Mingxi Cai, Xiao-bing Li, Wen-An Mo, Sheng-Gang Xu, Jian-Feng Yang","doi":"10.1109/ICSRS48664.2019.8987683","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987683","url":null,"abstract":"To quantitatively evaluate the environmental safety of Unmanned Aerial Vehicles (UAVs), an improved Quality Function Deployment (QFD) method is proposed. First, the House of Quality (HOQ) is applied to refine the environmental safety requirements of the UAVs used in different application scenarios, and sort out the corresponding environmental stresses to summarize the relevant design characteristics. Second, the specific levels of design characteristics are obtained through tests, and compared with the standard technical level. After integrating the technical importance, the quantitative evaluation of the environmental safety of the UAV is finally realized. The method is applied to a power inspection drone, and the environmental safety score of the drone is 6.78. Therefore, the method satisfies the actual market demand and provides a new means for the safety evaluation of UAVs.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121957244","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}
Michael Fischinger, Norbert Egger, C. Binder, C. Neureiter
{"title":"Towards a Model-centric Approach for Developing Dependable Smart Grid Applications","authors":"Michael Fischinger, Norbert Egger, C. Binder, C. Neureiter","doi":"10.1109/ICSRS48664.2019.8987626","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987626","url":null,"abstract":"The Smart Grid is the leading example when talking about complex and critical System-of-Systems (SoS). Specifically regarding the Smart Grids criticality, dependability is a central quality attribute to strive for. Combined with the desire of agility in modern development, conventional systems engineering methods reach their limits in coping with these requirements. However, approaches from model-based or model-driven engineering can reduce complexity and encourage development with rapidly changing requirements. Model-Driven Engineering (MDE) is known to be more successful in a domain specific manner. For that reason, an approach for Domain Specific Systems Engineering (DSSE) in the Smart Grid has already been specially investigated. This Model-Driven Architecture (MDA) approach especially aims the comprehensibility of complex systems. In this context, the traceability of requirements is a centrally pursued attribute. However, achieving continuing traceability between the model of a system and the concrete implementation is still an open issue. To close this gap, the present research paper introduces a Model-Centric Software Development (MCSD) solution for Smart Grid applications. Based on two exploratory case studies, the focus finally lies on the automated generation of partial implementation artifacts and the evaluation of traceability, based on dedicated functional aspects.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114132806","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}
Bo Sun, Zhaojun Yang, Chuanhai Chen, H. Tian, Wei Hu, Xu Jia
{"title":"Compiling Compression Load Spectrum of Servo Turret Based on Finite Element and Information Entropy Method","authors":"Bo Sun, Zhaojun Yang, Chuanhai Chen, H. Tian, Wei Hu, Xu Jia","doi":"10.1109/ICSRS48664.2019.8987618","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987618","url":null,"abstract":"The servo turret is a key component of the CNC lathe, and it is the most vulnerable component of a CNC lathe. We can find the weakness of the product by reliability test and improving the reliability. The load spectrum is a prerequisite for carrying out the reliability test. However, there are many small loads in the current load spectrum. These small loads have little influence on reliability. To shorten the test time and improve the test efficiency, the spectrum is recompiled to compress the load spectrum. In this paper, the cutting force is extrapolated in the time domain after processing. Then, the mean and magnitude of the load are counted by the rain flow counting method, and an eight-level load spectrum is compiled. At the same time, the finite element model of the servo turret was established, and experiments verified the model. The eight-level load spectrum is input into the established finite element model and the servo turret reliability test system, and the stress information and vibration information are obtained respectively. The load is classified by means of information entropy, and the compressive load spectrum is obtained by ignoring the light load.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124043917","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}
M. Velikova, Carmen Bratosin, A. Ypma, Vera Lemmen, Robert Jan van Wijk
{"title":"Assisted Diagnostics Methodology for Complex High-Tech Applications","authors":"M. Velikova, Carmen Bratosin, A. Ypma, Vera Lemmen, Robert Jan van Wijk","doi":"10.1109/ICSRS48664.2019.8987704","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987704","url":null,"abstract":"Controlling the operations and resolving product performance issues in today's high-tech production systems, such as semiconductor fabs, becomes a cumbersome task, even for experienced field engineers. To address the pressing need for assisted diagnostics approaches, in this paper we propose a model-based step-wise methodology, based on domain-specific languages and Bayesian networks, to capture domain knowledge and allow automated and guided reasoning in complex end-to-end diagnostics flow. We illustrate the methodology components and show its applied strength in a real industrial setting of semiconductor production chains.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128033063","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}
Clemens Gutschi, N. Furian, Johannes Pan, S. Vössner
{"title":"A Conceptual Modeling Framework for Evaluating the Performance of Predictive Maintenance for Modern, Real-World Production Systems using Potentials and Risks of Industry 4.0","authors":"Clemens Gutschi, N. Furian, Johannes Pan, S. Vössner","doi":"10.1109/ICSRS48664.2019.8987658","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987658","url":null,"abstract":"The overall performance of real world production systems is heavily influenced by the applied mix of maintenance strategies. The choice is dependent on various factors which need to be understood and investigated in detail. The emerging trend towards AI-based prognostic models bring advantages in model creation but also disadvantages in prediction quality. To accomplish this, we introduce a conceptual model, which serves as a basis for a simulation model. The latter may be used as a testbed for evaluating different combinations of applied maintenance strategies with respect to throughput, availabilities and maintenance resources.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114749579","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}
{"title":"Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller","authors":"B. Monsuez, Michel Nakhlé","doi":"10.1109/ICSRS48664.2019.8987732","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987732","url":null,"abstract":"We previously introduced in [8] an integrated system of formal model called SafeComp framework that focuses on the implementation of a unified industrial process modeling using the graphic language of Hi-Graphs, a specific class of hypergraphs. This process takes into account that requirements can often be described using different formalisms and additionally provides functional views, taking into account the non-functional and dysfunctional at all stages of the system lifecycle to make the right choices/compromise in terms of software engineering, formal verification and assurance that the system meets the requirements, end-to-end. In this paper we show the application of this framework to explore the space of solutions when designing the control-command of the regulation of a steam generator and we also expose the results of this study.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128975794","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}
Ioannis Filippopoulos, Z. Lajic, G. Mitsopoulos, A. Senteris, M. Pearson
{"title":"Multi-Sensor Data Fusion for the Vessel Trim Analyzer and Optimization Platform","authors":"Ioannis Filippopoulos, Z. Lajic, G. Mitsopoulos, A. Senteris, M. Pearson","doi":"10.1109/ICSRS48664.2019.8987689","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987689","url":null,"abstract":"The purpose of this paper is to describe a platform and the multi-sensor Data Fusion., that is used to analyze the power consumed regarding the Vessel's trim during past Voyages and to provide decision making support about the trim for futures Voyages. Platform collects data from several resources., including live data from sensors, aggregates, and analyses them. Platform also provides simplified user interfaces and indicators to the maritime company's specialized personnel and the Vessel's Captain and Chief Engineer for best “trimming” selection. Maran Tankers Management Inc. is a maritime company that uses the described platform for more than forty (40) Tanker Vessels.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130980172","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}
{"title":"Rapid Modeling and Simulation for the Stiffness and Modal Analysis of the Stainless Steel Subway Carbody","authors":"Jiangfeng Ding, Q. Gao","doi":"10.1109/ICSRS48664.2019.8987657","DOIUrl":"https://doi.org/10.1109/ICSRS48664.2019.8987657","url":null,"abstract":"In the structure design stage of the stainless steel subway carbody, the rapid evaluation of the structural stiffness of the carbody and the distribution design of the beam and column are the key to shorten the design cycle and improve the core competitiveness. In this paper, an equivalent model of stainless steel subway carbody structure is established by simplifying the carbody into a structure composed of beam and column, isotropic shell and anisotropic shell. On this basis, all geometric and physical control parameters required for parametric modeling of the carbody structure are summarized, then the simulation program driven automatically by control parameters is developed for the geometry modeling, mesh generation, loads and constraints application, statics and modal analysis. The equivalent model and simulation program result in a rapid evaluation method for the structural stiffness and modal analysis of stainless steel subway carbody during the design stage. The correctness of the simulation program is verified by comparison with the results of commercial FEM software. By comparing with the results from the detailed three-dimensional finite element model of the carbody structure, the effectiveness of the equivalent model and the fast evaluation method for structural stiffness and modal analysis is verified.","PeriodicalId":430931,"journal":{"name":"2019 4th International Conference on System Reliability and Safety (ICSRS)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124857679","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}