《基于故障配置的故障树生成》PDF+DOC
作者：黄鸣宇,魏欧,胡军
单位：重庆西南信息有限公司
出版：《计算机科学》2017年第02期
页数：10页 （PDF与DOC格式可能不同）
PDF编号：PDFJSJA2017020300
DOC编号：DOCJSJA2017020309
下载格式：PDF + Word/doc 文字可复制、可编辑
《基于故障树分析的某雷达自动调平系统故障研究》PDF+DOC 苟军喜
《某控制系统传感器组件故障树算法优化设计》PDF+DOC2012年第16期 唐甜,王旭昊
《自动气象站常见故障的分析与处理》PDF+DOC2016年第03期 杨娜娜
《基于故障树理论的CAN网络系统故障诊断分析与研究(中)》PDF+DOC2018年第11期 马明芳
《传感器可靠性技术－传感器的故障树分析》PDF+DOC1996年第04期 王天荣,王丽杰,韩涛
《液体火箭发动机典型故障类型及将来的传感器检测策略》PDF+DOC2003年第04期 谭松林,陈祖奎
《基于知识的故障诊断方法综述》PDF+DOC2002年第03期 朱大奇,于盛林
《CAWS600-B型自动站风速故障的检修方法及实例》PDF+DOC2012年第01期 杨崇静,安学银,郭海涛
《自动气象站日常故障的排查与维护》PDF+DOC 那仁图雅,额尔德木图
《HYA-SF型土壤水分观测仪的日常维护和常见故障解析》PDF+DOC2013年第04期 周驰,余佥贤,洛桑平措,来志云,黄沛宇
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题，且容易出错。为此，提出基于故障配置的故障树生成方法，引入软件产品线的可变性管理，用于系统故障建模与形式化分析。首先，定义故障特征图模型用于刻画系统故障间的约束关系，基于Kripke结构定义故障标记迁移系统来描述系统的行为；然后，基于模型的语义建立通过模型检测生成故障树的过程；最后，通过时序逻辑描述系统安全属性，利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。