题名 软件故障树分析技术
被引量：5
1
作者
周凯 王璞
机构
航空工业总公司航空计算技术研究所
出处
《航空计算技术》
1997年第3期54-57,共4页
文摘
介绍了在开发高可靠性软件系统中，软件故障树分析技术的概念、基本技术，给出了故障树的建造方法，并用一个简单的例子，介绍了软件故障树的应用。
关键词
故障 树 可靠性 软件 系统软件 故障 树
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于IPO功能分解的嵌入式软件故障树分层构建方法
被引量：3
2
作者
黄百乔 赖婧 张虹 陆民燕
机构
北京航空航天大学可靠性与系统工程学院 中国船舶工业集团公司船舶系统工程部
出处
《沈阳工业大学学报》
EI
CAS
北大核心
2013年第2期204-211,共8页
基金
"十一五"国防预研基金资助项目(5131907XXX)
文摘
针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.
关键词
嵌入式软件 软件 故障 树 分层分析 软件 安全性软件 失效模式与影响输入-处理过程-输出
Keywords
embedded software software fault tree（SFT） hierarchical analysis software safety softwareFMEA IPO
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于行为树与软件故障树的需求缺陷分析
被引量：1
3
作者
米巧丽 贲可荣
机构
海军工程大学计算机工程系
出处
《计算机与数字工程》
2010年第8期150-155,共6页
基金
国家预研基金项目(编号:513270104)资助
文摘
在所有软件密集系统的开发中,需求缺陷一直是困扰人们的难题。利用行为树表示法将初始功能需求转化、集成为设计行为树,并建立设计行为树与软件故障树之间的追溯关系;同时对软件密集系统的功能需求中可能存在的各种缺陷进行分析,实现了对导致软件开发后期出现故障的需求缺陷的追溯和修正,为解决复杂系统的需求缺陷问题提供了一个切实可行的方案。
关键词
行为树 软件 故障 树 需求缺陷 可追溯性
Keywords
behavior tree software failure tree requirement defect traceability
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 软件故障树和专家系统在航电软件测试中的应用
4
作者
朱文钊
机构
中国直升机设计研究所
出处
《电子技术与软件工程》
2019年第16期54-55,共2页
文摘
传统的测试过程后会有测试问题积累,但是针对不同型号直升机的航电操作飞行软件来说测试问题的借鉴性没有得到充分的利用。故障诊断专家系统是模拟专家思维方式,积累专业知识的软件系统,用来进行故障原因的自动推理。针对操作飞行软件中发现的问题,将故障树分析法和专家系统相结合,提出了基于故障树的航电操作飞行软件故障诊断专家系统知识获取方法。能够有效的积累历史故障数据,提升软件测试效率。针对操作飞行软件特点,划分功能模块,建立了操作飞行软件各子系统的故障树,研究了专家系统的核心组件知识库和推理机,建立了操作飞行软件故障诊断专家系统,能够有效的提升软件测试效率,并提供了相似问题相应的解决方案。
关键词
软件 故障 树 SFTA 专家系统 航电操作飞行软件
分类号
V243
[航空宇航科学与技术—飞行器设计]
TP311.53
[自动化与计算机技术—计算机软件与理论]
题名 舰载指控系统的软件故障树分析
被引量：4
5
作者
管莹莹 潘冠华
机构
中国船舶重工集团公司江苏自动化研究所
出处
《指挥控制与仿真》
2008年第2期112-114,共3页
文摘
在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。
关键词
舰载指控系统 软件 故障 软件 故障 树 分析
Keywords
shipbome Command Control System software fault software fault tree analysis
分类号
TJ391
[兵器科学与技术—火炮、自动武器与弹药工程]
E919
[军事]
题名 软件故障树分析实例研究
被引量：4
6
作者
石柱 郑重
机构
中国航天科技集团公司软件评测中心
出处
《航天控制》
CSCD
北大核心
2014年第6期67-70,87,共5页
基金
国防科技工业局民用航天科研预先研究项目资助课题(B2120080307)
文摘
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
关键词
软件 可靠性软件 可靠性分析软件 故障 树 分析
Keywords
Software reliability Software reliability analysis Software fault tree analysis
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 自动测试软件可靠性量化评估技术研究
被引量：2
7
作者
陈志元 任欣 闵蓓尔
机构
第二炮兵装备研究院 上海旋极公司软件测控部
出处
《电子测试》
2008年第6期24-26,共3页
文摘
本文针对军用自动测试系统(M-ATS)测试程序软件(简称"TPS软件")在研制过程中存在的薄弱环节,对TPS软件失效模式、影响及危害性分析技术(FMECA)和TPS软件故障树分析技术(FTA)进行了研究,方便开展TPS软件可靠性量化评估。
关键词
软件 失效模式影响及危害性分析技术(FMECA) 软件 故障 树 分析技术(FTA)
Keywords
QET FMECA FTA
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 某伺服实时控制软件SFMEA/SFTA
被引量：2
8
作者
黄梅红 黄志华 宋冰 王玥 薛靓
机构
上海航天控制技术研究所 上海伺服系统工程技术研究中心
出处
《飞控与探测》
2018年第3期63-70,共8页
文摘
对某助推伺服控制软件开展失效模式影响分析(System Failure Mode and Effects Analysis,SFMEA)和故障树分析(Software Failure Tree Analysis,SFTA)。SFMEA是一种自下而上的分析方法,用以辨识出一系列可能的软件潜在故障模式,并评估其对系统工作的危害性。SFTA是一种自上而下的分析方法,其目标是识别出基本事件(底事件),而基本事件可导致系统产生其所不希望发生的顶事件。应用SFMEA和SFTA的主要目的是提高软件和系统的安全性及可靠性。
关键词
软件 失效模式及影响分析(SFMEA)软件 故障 树 分析(SFTA)软件 初步危险分析(SPHA)
Keywords
system failure mode and effects analysis(SFMEA) software failure tree analysis(SFTA) software preliminary hazard analysis(SPHA)
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 嵌入式火控系统软件故障树分析研究
被引量：2
9
作者
周薇 刘庆生
机构
江苏自动化研究所
出处
《现代电子技术》
北大核心
2015年第8期105-108,共4页
基金
国防预研基金(51319080202)
文摘
武器装备软件在使用过程中发生失效会导致任务的失败,从而影响软件可靠性。软件故障树分析作为软件可靠性分析的主要方法,在软件的优化和改进中起着重要作用。在此首先介绍了软件故障树分析法,结合嵌入式火控系统软件特点进行软件故障树分析,构造了软件故障树,通过求解最小割集进行定性分析和定量分析。实践证明软件故障树分析有助于提高软件在系统测试或投入使用后的可靠性,提升武器装备的战斗力。
关键词
软件 故障 树 分析软件 可靠性火控系统 可靠性分析
Keywords
software fault tree analysis software reliability fire control system reliability analysis
分类号
TN964.34
[电子电信—信号与信息处理]
题名 软件故障树分析在铁路自动售票系统服务中的应用
被引量：2
10
作者
潘浪涛 王成 李超
机构
中国铁道科学研究院电子计算技术研究所
出处
《铁路计算机应用》
2011年第9期24-26,30,共4页
文摘
以铁路自动售票系统应用服务为例,应用软件故障树分析法进行分析。根据铁路自动售票系统应用服务的特点,建立该系统应用服务的失效模型,采用最小割集分析法,确定影响系统应用服务失效的主要因素,从而在以后的设计过程中采取有效措施防止错误或故障的发生,达到提高铁路自动售票系统应用服务稳定性的目的。
关键词
铁路自动售票系统 应用服务 软件 故障 树 分析最小割集分析法 稳定性
Keywords
Ticketing and Reservation System（TRS） application service Software Fault Tree Analysis（SFTA） Minimal of Cut Set Analysis（MCSA） stability
分类号
U29
[交通运输工程—交通运输规划与管理]
TP39
[交通运输工程—道路与铁道工程]
题名 空间站锂电池管理软件安全性分析与设计
被引量：1
11
作者
朱剑辉 赵庆 蒋坤 孙晶晶 刘胜阳
机构
上海航天电子技术研究所 上海空间电源技术研究所 上海航天技术研究院
出处
《上海航天（中英文）》
CSCD
2022年第S02期79-84,共6页
文摘
针对空间站系统对长期在轨运行高可靠性、高安全性的要求,提出了基于软件故障树分析(SFTA)和软件失效模式及影响分析(SFMEA)的空间站锂电池管理系统软件安全分析与设计的方法。采用该方法,对系统安全性、单机安全性和软件安全性需求进行逐层分析和设计,得出软件安全关键功能、部件和单元,提出相应的软件设计约束,采取相应的软件可靠性设计方法,并最终经过测试验证和确认。通过该方法,把软件安全性设计贯穿整个软件研制生命周期过程中,软件的安全性得到系统、全面的分析和设计。测试结果表明:该方法有效地提升了软件可靠性,空间站锂电池管理系统的安全性得到了充分的保证,可以满足长期在轨稳定运行的要求。
关键词
软件 故障 树 分析软件 失效模式及影响分析安全关键功能 电池管理系统 软件 可靠性
Keywords
software failure tree analysis software failure mode and effect analysis safety-critical function battery management system software reliability
分类号
TM912
[电气工程—电力电子与电力传动]
V476.1
[航空宇航科学与技术—飞行器设计]
V442
题名 软件故障树分析及其在生化分析仪中的应用
被引量：1
12
作者
权巍 王俊杰 王弼陡 邢忠宝
机构
中国科学院长春光学精密机械与物理研究所 中国科学院研究生院
出处
《微电子学与计算机》
CSCD
北大核心
2009年第1期173-176,共4页
文摘
以全自动生化分析仪主控软件盘转动控制软件单元为例,应用软件故障树分析法进行分析.该方法可以在设计的初期阶段对软件系统进行分析,找出关键的功能模块和可能的故障原因,从而在设计的过程中采取有效措施防止错误或故障的发生.结果表明该技术能将软件系统和控制系统很好地联系起来,从整体上考虑系统的故障问题,对分析仪软、硬件系统的可靠性设计具有良好的指导作用.
关键词
软件 故障 树 分析法全自动生化分析仪软件 软件 可靠性
Keywords
SFTA software of automatic clinical chemistry analyzer software reliability
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 基于SFTA的桥接模式安全性分析
被引量：1
13
作者
李国旗 陆民燕 刘斌
机构
北京航空航天大学工程系统工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第24期108-110,113,共4页
基金
北京航空航天大学青年创新基金资助项目"基于CORBA的可重用组件的可靠性与安全性分析研究"(2008030)
文摘
采用软件故障树分析法,通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明,单纯引入桥接模式,软件的安全性约降低50%,但引入设计模式使得软件模块之间解耦合,通过加入双余量设计,可以使软件安全性提高2个数量级。该结论对安全关键软件面向对象的设计具有指导作用。
关键词
软件 故障 树 分析设计模式 软件 安全性
Keywords
Software Fault Tree Analysis（SFTA） design pattern software safety
分类号
N945
[自然科学总论—系统科学]
题名 ODC方法在故障树分析中的应用研究
被引量：1
14
作者
李阳 雷挺 张雯
机构
华北计算技术研究所
出处
《计算机工程与设计》
CSCD
北大核心
2012年第12期4598-4602,共5页
文摘
为了减少构建软件故障树的成本,提高构建软件故障树的效率,保证软件故障树的完备性,将正交缺陷分类技术引入故障树分析,把典型缺陷类型按照ODC正交分类思想划分,构造了一个缺陷类型与缺陷基本原因对照表,并根据此表提出了一种故障树快速构建方法。通过一个实例介绍了快速故障树构建方法的应用。通过在项目中试用此方法构建故障树,表明了该方法的高效准确。
关键词
软件 故障 树 分析正交缺陷分类 缺陷原因分析 底事件 下行法
Keywords
software fault tree orthogonal defect classification defect reason analysis bottom event fussel-vesely
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于控制流的软件树生成及其应用
15
作者
何斌
机构
[
出处
《微型电脑应用》
2021年第1期121-123,共3页
文摘
软件故障树分析(SFTA)是软件可靠性与安全性分析的重要方法,在软件生命周期各阶段中有较为广泛的应用。但由于故障树分析依赖于个人经验,往往分析过程费时、费力且不能得到完整、准确的故障树图。为使软件故障树分析客观、准确、高效且有固定模式可依,提出了基于控制流分析结果的故障树分析方法。方法主要依赖于由工具软件自动生成的软件控制流图,按固定的转换模式进行软件故障树图的构建。最后,通过“X型烟雾报警系统”实例演绎来证明该方法的可行性。
关键词
软件 软件 故障 树 分析软件 控制流图软件 可靠性
Keywords
software SFTA software control flow chart software reliability
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 火星环绕器GNC计算机的冗余管理软件系统设计
16
作者
谭晓宇 周誌元 马瑞 聂钦博 朱庆华
机构
上海航天控制技术研究所 上海市空间智能控制技术重点实验室
出处
《上海航天（中英文）》
CSCD
2022年第S01期125-132,共8页
文摘
针对火星探测高可靠性的需求,设计了一种冗余管理软件系统,对三余度制导、导航和控制(GNC)计算机进行实时管理。冗余管理软件系统由控制器管理软件、表决软件、决策软件3个配置项组成,分别运行在3个独立的硬件环境中。3个配置项协同、同步工作。冗余管理软件系统对GNC计算机A、B、C三机的软硬件运行情况进行检查和维护,及时将故障的计算机隔离出GNC计算机系统,从而保证GNC计算机运行稳定。对软件系统进行软件故障树分析(SFTA)、可靠性分析和可靠性增强设计。实际在轨应用表明,此软件系统在整个火星探测任务中运行稳定无故障。
关键词
火星探测 冗余管理 软件 系统同步 表决 软件 故障 树 分析
Keywords
Mars exploration redundancy management software system synchronization vote software fault tree analysis
分类号
V476.4
[航空宇航科学与技术—飞行器设计]
V446
