基于模型检查的货运飞船推进剂在轨补加任务故障树分析方法研究

• 作者: 周文明 李孝鹏 李福秋 覃沙 陈露
• 来源期刊: 质量与可靠性
• 关键词: 故障树分析 模型检查 MBSA NuSMV
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 通用质量特性
• 页码范围: 23-27
• 页数: 5页
• 字数: 4006字
• 语种: 中文

摘要

针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis,MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究.通过模型检查过程自动快捷地验证预设的规范,分析反例序列和可达状态集,识别故障传播路径和最小割集,完成故障树定性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李孝鹏		10	16	2.0	3.0
2	李福秋		16	32	3.0	5.0
3	陈露		6	5	1.0	1.0
4	周文明		6	5	1.0	1.0
5	覃沙		2	1	1.0	1.0