Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688838
Yi Yang, Wei Xu, Sixin Wang, Kunlun Wei
For the discrete-time one-unit repairable system with repair delay, the instantaneous availability model is established, and its instantaneous availability under limited time constraints was studied. The asymptatic stability of the instantaneous availability was proved, and the steady-state availability was obtained. Further, the correctness of the results is verified by slmulatien, The result illustrated the consistency of the stability of the instantaneous availability between discrete-time systems and eon-ttnuous-tfme systems, which strengthened the theoretic basis of study on the instantaneous avaflability fluctuation of the complex system within finite time.
{"title":"Availability Modeling and Fluctuation Research of Discrete-Time: Repairable Systems","authors":"Yi Yang, Wei Xu, Sixin Wang, Kunlun Wei","doi":"10.1109/ICSRS.2018.8688838","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688838","url":null,"abstract":"For the discrete-time one-unit repairable system with repair delay, the instantaneous availability model is established, and its instantaneous availability under limited time constraints was studied. The asymptatic stability of the instantaneous availability was proved, and the steady-state availability was obtained. Further, the correctness of the results is verified by slmulatien, The result illustrated the consistency of the stability of the instantaneous availability between discrete-time systems and eon-ttnuous-tfme systems, which strengthened the theoretic basis of study on the instantaneous avaflability fluctuation of the complex system within finite time.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130264897","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688865
A. Ahmadini, F. Coolen
In this paper, we present a new imprecise statistical inference method for accelerated life testing data, where nonparametric predictive inferences at the normal stress level is integrated with a parametric power-Wei bull model. The method includes imprecision based on the likelihood ratio test, which provides robustness with regard to the model assumptions. The imprecision leads to observations at increased stress levels being transformed into interval-valued observations at the normal stress level, where the width of an interval is larger for observations from higher stress levels. Simulation studies are presented to investigate the performance of the proposed method.
{"title":"On the use of an Imprecise Statistical Method for Accelerated Life Testing Data Using the Power-Law Link Function","authors":"A. Ahmadini, F. Coolen","doi":"10.1109/ICSRS.2018.8688865","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688865","url":null,"abstract":"In this paper, we present a new imprecise statistical inference method for accelerated life testing data, where nonparametric predictive inferences at the normal stress level is integrated with a parametric power-Wei bull model. The method includes imprecision based on the likelihood ratio test, which provides robustness with regard to the model assumptions. The imprecision leads to observations at increased stress levels being transformed into interval-valued observations at the normal stress level, where the width of an interval is larger for observations from higher stress levels. Simulation studies are presented to investigate the performance of the proposed method.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124478419","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688831
W. Bennaceur, L. Kloul
In this article, we analyze the availability and reliability of a data center's system using Production Trees, a new modeling methodology for dealing with availability issues of production systems. Several factors affect the data center availability, among them the power energy production and temperature variations within the data center room. This paper proposes an approach to analyze the different interactions between data center's electrical and thermal systems.
{"title":"Electrical and Thermal System Impact on the Availability of a Data Center's System","authors":"W. Bennaceur, L. Kloul","doi":"10.1109/ICSRS.2018.8688831","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688831","url":null,"abstract":"In this article, we analyze the availability and reliability of a data center's system using Production Trees, a new modeling methodology for dealing with availability issues of production systems. Several factors affect the data center availability, among them the power energy production and temperature variations within the data center room. This paper proposes an approach to analyze the different interactions between data center's electrical and thermal systems.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123331174","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}
Inspection is an effective method to guarantee the safety and reliability of the components and systems. For some systems executing jobs with random working times, implementing a comprehensive inspection at fixed periodic interval would disrupt the ongoing job. Therefore it would be cost-effective to inspect these systems thoroughly at the completion of every N jobs, which is named as random inspection policy. Considering such systems, a new model is proposed by combining the random and periodic inspection policy based on a three-stage failure process. The whole life cycle of the system is divided into three independent phases: normal, minor and severe defective stages. Two-level inspections are employed in this model. The minor inspections are performed at a fixed periodic interval, which can identify the minor defective stage with a certain probability but detect the severe defective stage perfectly. The major inspections are performed when every N jobs is completed, which can completely reveal both minor and severe defective stages. When the system is found in minor defective stage, the minor inspection interval will be shortened. If the severe defective stage is identified, instead of maintaining the system immediately, the maintenance action will be postponed to the completion of the current job. Numerical examples and comparisons with other models are presented to demonstrate the correctness, generality and economy of the model.
{"title":"A Preventive Maintenance Model with Periodic and Random Inspection Policy for a Three-Stage Failure Process","authors":"Xiaoxiao Cao, Chao Guo, Huasheng Xiong, Haojing Zhang, Duo Li, Xiaojin Huang","doi":"10.1109/ICSRS.2018.8688861","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688861","url":null,"abstract":"Inspection is an effective method to guarantee the safety and reliability of the components and systems. For some systems executing jobs with random working times, implementing a comprehensive inspection at fixed periodic interval would disrupt the ongoing job. Therefore it would be cost-effective to inspect these systems thoroughly at the completion of every N jobs, which is named as random inspection policy. Considering such systems, a new model is proposed by combining the random and periodic inspection policy based on a three-stage failure process. The whole life cycle of the system is divided into three independent phases: normal, minor and severe defective stages. Two-level inspections are employed in this model. The minor inspections are performed at a fixed periodic interval, which can identify the minor defective stage with a certain probability but detect the severe defective stage perfectly. The major inspections are performed when every N jobs is completed, which can completely reveal both minor and severe defective stages. When the system is found in minor defective stage, the minor inspection interval will be shortened. If the severe defective stage is identified, instead of maintaining the system immediately, the maintenance action will be postponed to the completion of the current job. Numerical examples and comparisons with other models are presented to demonstrate the correctness, generality and economy of the model.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"52 3-4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123521625","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688844
Hongpeng Man, Jing An, Wei Huang, Wenqing Fan
Modularity is an important feature of Java Web applications nowadays, which challenges traditional program analytical techniques. Symbolic execution and Fuzzing, as two promising methods, both have some defects. On one hand, fuzzing is difficult to detect the branch with harsh path conditions; on the other hand, symbolic execution makes it difficult to symbolize complex inputs in a modular context. To improve these defects, we have designed JSEFuzz, a vulnerability detection method for Java Web applications. JSEFuzz combines the methods of fuzzing and symbolic execution: using fuzzing to find module-level vulnerability triggering conditions and corresponding input data, using symbolic execution to transform module-level input data, and verifying vulnerability triggerability at the program level, which is proved feasibility through experiments.
{"title":"JSEFuzz: Vulnerability Detection Method for Java Web Application","authors":"Hongpeng Man, Jing An, Wei Huang, Wenqing Fan","doi":"10.1109/ICSRS.2018.8688844","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688844","url":null,"abstract":"Modularity is an important feature of Java Web applications nowadays, which challenges traditional program analytical techniques. Symbolic execution and Fuzzing, as two promising methods, both have some defects. On one hand, fuzzing is difficult to detect the branch with harsh path conditions; on the other hand, symbolic execution makes it difficult to symbolize complex inputs in a modular context. To improve these defects, we have designed JSEFuzz, a vulnerability detection method for Java Web applications. JSEFuzz combines the methods of fuzzing and symbolic execution: using fuzzing to find module-level vulnerability triggering conditions and corresponding input data, using symbolic execution to transform module-level input data, and verifying vulnerability triggerability at the program level, which is proved feasibility through experiments.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117045833","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688854
M. Zeller, F. Montrone
Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a temporal sequence of events or state-dependent behavior of software-controlled systems. In contrast to this, Markov Chains are a state-based analysis technique based on a stochastic model. But the use of Markov Chains for failure analysis of complex safety-critical systems is limited due to exponential explosion of the size of the model. In this paper, we present a concept to integrate Markov Chains in Component Fault Tree models. Based on a component concept for Markov Chains, which enables the association of Markov Chains to system development elements such as components, complex or software-controlled systems can be analyzed w.r.t. safety or reliability in a modular and compositional way. We illustrate this approach using a case study from the automotive domain.
{"title":"Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems","authors":"M. Zeller, F. Montrone","doi":"10.1109/ICSRS.2018.8688854","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688854","url":null,"abstract":"Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a temporal sequence of events or state-dependent behavior of software-controlled systems. In contrast to this, Markov Chains are a state-based analysis technique based on a stochastic model. But the use of Markov Chains for failure analysis of complex safety-critical systems is limited due to exponential explosion of the size of the model. In this paper, we present a concept to integrate Markov Chains in Component Fault Tree models. Based on a component concept for Markov Chains, which enables the association of Markov Chains to system development elements such as components, complex or software-controlled systems can be analyzed w.r.t. safety or reliability in a modular and compositional way. We illustrate this approach using a case study from the automotive domain.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"351 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126683698","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688879
M. Ziemska, L. Smolarek
The article presents the pilot system of automatic weigh control of vehicles in the road, which is implemented in Gdynia City on Janka Wisniewskiego Street as a source of measurement data to analyze the use of stretch of road by heavy vehicles. The measuring point is located on the road leading to the Gdynia's container terminals and to the Kwiatkowskiego Street, which is directly connected with Tri-city bypass [11]. Measurement period allowed developing a mathematical model defining the load of the network by heavy vehicles. By adopting a semi-Markov model for system state changes, we must map the probability matrix of the transitions and the kernel of the process. Based on measurements from the weighing preselection system, we determined the probability matrix of the transitions. Using the appropriate failure statistics, you can develop possible failure scenarios and determine the reliability indicators of the system.
{"title":"Modeling the Participation of Heavy Vehicles Stream, Using the System of Automatic Weigh Control of Vehicles in the City of Gdynia","authors":"M. Ziemska, L. Smolarek","doi":"10.1109/ICSRS.2018.8688879","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688879","url":null,"abstract":"The article presents the pilot system of automatic weigh control of vehicles in the road, which is implemented in Gdynia City on Janka Wisniewskiego Street as a source of measurement data to analyze the use of stretch of road by heavy vehicles. The measuring point is located on the road leading to the Gdynia's container terminals and to the Kwiatkowskiego Street, which is directly connected with Tri-city bypass [11]. Measurement period allowed developing a mathematical model defining the load of the network by heavy vehicles. By adopting a semi-Markov model for system state changes, we must map the probability matrix of the transitions and the kernel of the process. Based on measurements from the weighing preselection system, we determined the probability matrix of the transitions. Using the appropriate failure statistics, you can develop possible failure scenarios and determine the reliability indicators of the system.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122274331","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}
Pub Date : 2018-11-01DOI: 10.1109/ICSRS.2018.8688842
Liu Yang, A. Rauzy
In this article, we introduce the notion of finite degradation structure (FDS). FDSs are semi-lattices equipped with probability structures. We show how FDS can be used to represent multistate units and multistate hierarchical systems. We show also how qualitative analyses (e.g. calculation of minimal cutsets) and quantitative (e.g. calculation of probabilistic indicators) analyses can be performed from these finite degradation models. We give finally various examples that illustrate the proposed modeling technique.
{"title":"Reliability Modeling Using Finite Degradation Structures","authors":"Liu Yang, A. Rauzy","doi":"10.1109/ICSRS.2018.8688842","DOIUrl":"https://doi.org/10.1109/ICSRS.2018.8688842","url":null,"abstract":"In this article, we introduce the notion of finite degradation structure (FDS). FDSs are semi-lattices equipped with probability structures. We show how FDS can be used to represent multistate units and multistate hierarchical systems. We show also how qualitative analyses (e.g. calculation of minimal cutsets) and quantitative (e.g. calculation of probabilistic indicators) analyses can be performed from these finite degradation models. We give finally various examples that illustrate the proposed modeling technique.","PeriodicalId":166131,"journal":{"name":"2018 3rd International Conference on System Reliability and Safety (ICSRS)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129867275","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：