TY - GEN
T1 - Reliability prediction of a hydraulic system with probabilistic model checking
AU - Yan, Shuai
AU - Zhang, Hong
AU - Zhang, Yongshu
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/12/24
Y1 - 2015/12/24
N2 - Probabilistic model checking is a formal verification technique, which has been used in many areas including reliability assessment. In this paper, probabilistic model checking is introduced to reliability prediction of hydraulic systems, and a controllable pitch propeller hydraulic system is taken as an example. Firstly, aCTMC (Continuous-time Markov chain) model is established based on the system structure. Then CSL(Continuous Stochastic Logic) formulas are given to describe the reliability and failure rate of the system. Finally, the PRISM model checker is used to verify the properties and give the quantitative results. This paper describes how to analyze the system, create Markov models, and parts of the code. The results show that the method can actually predict the reliability and has potentials of further applications.
AB - Probabilistic model checking is a formal verification technique, which has been used in many areas including reliability assessment. In this paper, probabilistic model checking is introduced to reliability prediction of hydraulic systems, and a controllable pitch propeller hydraulic system is taken as an example. Firstly, aCTMC (Continuous-time Markov chain) model is established based on the system structure. Then CSL(Continuous Stochastic Logic) formulas are given to describe the reliability and failure rate of the system. Finally, the PRISM model checker is used to verify the properties and give the quantitative results. This paper describes how to analyze the system, create Markov models, and parts of the code. The results show that the method can actually predict the reliability and has potentials of further applications.
KW - PRISM
KW - Probabilistic Model Checking
KW - Reliability Prediction
UR - https://www.scopus.com/pages/publications/84962671718
U2 - 10.1109/ICRSE.2015.7366456
DO - 10.1109/ICRSE.2015.7366456
M3 - 会议稿件
AN - SCOPUS:84962671718
T3 - Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015
BT - Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015
A2 - Zhang, Shunong
A2 - Wang, Zili
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st International Conference on Reliability Systems Engineering, ICRSE 2015
Y2 - 21 October 2015 through 23 October 2015
ER -