• CN：11-2187/TH
• ISSN：0577-6686

›› 2011, Vol. 47 ›› Issue (24): 171-176.

• 论文 •

### 基于概率模型检验的复杂武器系统任务可靠性评估方法研究

1. 国防科技大学机电工程与自动化学院;国防科技大学装备综合保障技术重点实验室
• 发布日期:2011-12-20

### Evaluating Mission Reliability for Complex Weapon Systems with Probabilistic Model Checking

LI Lei;QIAN Yanling;YANG Yongmin;DU Kai

1. College of Mechatronics Engineering and Automation, National University of Defense Technology Laboratory of Science and Techology on Integrated Logistics Support, National University of Defense Techology
• Published:2011-12-20

Abstract: Mission Reliability is the ability of a weapon system to execute training or battle missions in specified time under given maintenance support conditions, and thus it is significant to the evaluation of overall performance of weapon systems. The probabilistic model checking technique is introduced to the mission reliability evaluation process of complex weapon systems. Taking a gun-missile system as an example, the evolutionary process of weapon system is modeled using process algebra language, and various evaluation indices, such as mission reliability, mission availability, mission performance et al, are presented using continuous stochastic formulas, and furthermore they are automatically computed using a probabilistic model checker. The approach can efficiently simplify evaluation modeling process and complicated analysis and computation process of various evaluation indices, and during the problem-solving process, multiple optimization techniques are applied to enhance computational efficiency. Hence, it is more suitable for use in engineering practice than traditional analytical approach.