定量化故障树分析技术在空间相机软件开发中的应用

作     者：李杨 徐抒岩 韩诚山 于涛 邢忠宝 LI Yang;XU Shu-yan;HAN Cheng-shan;YU Tao;XING Zhong-bao

作者机构：中国科学院长春光学精密机械与物理研究所吉林长春130033 中国科学院研究生院北京100039 

基　　金：国家自然科学基金资助项目(No.60507003) 

出 版 物：《光学精密工程》 (Optics and Precision Engineering)

年 卷 期：2008年第16卷第11期

页      码：2180-2186页

摘      要：为保证空间相机软件系统可靠安全地运行,多采用定量化故障树方法对其进行可靠性分析。由于获取故障知识及确定故障树结构有一定难度,提出了一种基于粗糙集的软件故障树建立方法。针对软件故障原因错综复杂,无法获取大量有效数据的情况,给出一种采用Vague集方法对底事件进行建模,从而计算底事件相对重要度和顶事件发生概率的定量分析方法,根据分析结果指导软件的可靠性设计并确定测试重点。实验结果表明:使用提出的故障树分析方法,有效地指导了设计人员通过容错差错和避错等设计措施提高系统的可靠性,解决了由于软件部件可靠性指标很难精确量化,无法进行定量分析的问题。

主 题 词：空间相机 软件可靠性 故障树分析(FTA) 粗糙集 Vague集 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0805[工学-能源动力学] 082503[082503] 0835[0835] 0825[工学-环境科学与工程类] 0702[理学-物理学类] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1004-924X.2008.11.023

馆 藏 号：203932838...