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

作     者：王鹏 张帆 董磊 胡剑波 赵长啸 WANG Peng;ZHANG Fan;DONG Lei;HU Jianbo;ZHAO Changxiao

作者机构：中国民航大学天津市民用航空器适航与维修重点实验室天津300300 中国民航大学适航学院天津300300 空军工程大学装备管理与安全工程学院陕西西安710051 

出 版 物：《系统工程与电子技术》 (Systems Engineering and Electronics)

年 卷 期：2017年第39卷第11期

页      面：2501-2508页

核心收录：

学科分类：08[工学] 0825[工学-航空宇航科学与技术] 

基　　金：国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105) 民航科技创新引导资金(MHRD20140208) 天津市自然科学基金联合资助项目(15JCQNJC42800) 中央高校基本科研业务费中国民航大学资助专项(3122015D023)资助课题 

主　　题：转换规则 形式化 安全性 概率模型检验 故障 

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