故障拓展模型到概率检验模型的转换规则

• 作者: 张帆 王鹏 胡剑波 董磊 赵长啸
• 来源期刊: 系统工程与电子技术
• 学科: 航空航天
• 关键词: 转换规则 形式化 安全性 概率模型检验 故障
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 系统工程
• 页码范围: 2501-2508
• 页数: 8页
• 分类号: V240.2
• 字数: 6273字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2017.11.16

摘要

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换.此外,研究模型的定量概率检验转换规则,构建逻辑验证表达.最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估.结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董磊	中国民航大学天津市民用航空器适航与维修重点实验室	9	26	2.0	5.0
5	胡剑波	空军工程大学装备管理与安全工程学院	65	396	11.0	16.0
6	王鹏	中国民航大学天津市民用航空器适航与维修重点实验室	76	158	6.0	8.0
10	张帆	中国民航大学适航学院	32	41	3.0	5.0
11	赵长啸	中国民航大学天津市民用航空器适航与维修重点实验室	29	39	3.0	5.0