-
题名软件故障树分析实例研究
被引量：4
- 1
-
-
作者
石柱
郑重
-
机构
中国航天科技集团公司软件评测中心
-
出处
《航天控制》
CSCD
北大核心
2014年第6期67-70,87,共5页
-
基金
国防科技工业局民用航天科研预先研究项目资助课题(B2120080307)
-
文摘
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
-
关键词
软件可靠性
软件可靠性分析
软件故障树分析
-
Keywords
software reliability
software reliability analysis
software fault tree analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名舰载指控系统的软件故障树分析
被引量：4
- 2
-
-
作者
管莹莹
潘冠华
-
机构
中国船舶重工集团公司江苏自动化研究所
-
出处
《指挥控制与仿真》
2008年第2期112-114,共3页
-
文摘
在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。
-
关键词
舰载指控系统
软件故障
软件故障树分析
-
Keywords
shipbome Command Control System
software fault
software fault tree analysis
-
分类号
TJ391
[兵器科学与技术—火炮、自动武器与弹药工程]
E919
[军事]
-
-
题名嵌入式火控系统软件故障树分析研究
被引量：2
- 3
-
-
作者
周薇
刘庆生
-
机构
江苏自动化研究所
-
出处
《现代电子技术》
北大核心
2015年第8期105-108,共4页
-
基金
国防预研基金(51319080202)
-
文摘
武器装备软件在使用过程中发生失效会导致任务的失败,从而影响软件可靠性。软件故障树分析作为软件可靠性分析的主要方法,在软件的优化和改进中起着重要作用。在此首先介绍了软件故障树分析法,结合嵌入式火控系统软件特点进行软件故障树分析,构造了软件故障树,通过求解最小割集进行定性分析和定量分析。实践证明软件故障树分析有助于提高软件在系统测试或投入使用后的可靠性,提升武器装备的战斗力。
-
关键词
软件故障树分析
软件可靠性
火控系统
可靠性分析
-
Keywords
software fault tree analysis
software reliability
fire control system
reliability analysis
-
分类号
TN964.34
[电子电信—信号与信息处理]
-
-
题名液压泵故障诊断专家系统可靠性设计
被引量：1
- 4
-
-
作者
戚红雨
王汉功
康兴无
-
机构
西安第二炮兵工程学院
-
出处
《上海航天》
1999年第6期34-37,共4页
-
文摘
介绍了软件故障树分析方法在液压泵故障诊断专家系统程序可靠性设计中的应用。通过运用软件故障树分析方法，程序设计者可以很快找出软件设计中的薄弱环节即故障可能发生的环节，可以有针对性地加强对薄弱环节的可靠性设计，从而在整体上提高了软件的可靠性。
-
关键词
液压泵
专家系统
可靠性设计
故障诊断
-
Keywords
Hydraulic pump
Expert system
software fault tree analysis
Reliability
-
分类号
TH137.51
[机械工程—机械制造及自动化]
TB114.3
[理学—概率论与数理统计]
-
-
题名火星环绕器GNC计算机的冗余管理软件系统设计
- 5
-
-
作者
谭晓宇
周誌元
马瑞
聂钦博
朱庆华
-
机构
上海航天控制技术研究所
上海市空间智能控制技术重点实验室
-
出处
《上海航天（中英文）》
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
-
-
题名软件故障树分析在铁路自动售票系统服务中的应用
被引量：2
- 6
-
-
作者
潘浪涛
王成
李超
-
机构
中国铁道科学研究院电子计算技术研究所
-
出处
《铁路计算机应用》
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
[交通运输工程—道路与铁道工程]
-
-
题名基于SFTA的桥接模式安全性分析
被引量：1
- 7
-
-
作者
李国旗
陆民燕
刘斌
-
机构
北京航空航天大学工程系统工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第24期108-110,113,共4页
-
基金
北京航空航天大学青年创新基金资助项目"基于CORBA的可重用组件的可靠性与安全性分析研究"(2008030)
-
文摘
采用软件故障树分析法,通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明,单纯引入桥接模式,软件的安全性约降低50%,但引入设计模式使得软件模块之间解耦合,通过加入双余量设计,可以使软件安全性提高2个数量级。该结论对安全关键软件面向对象的设计具有指导作用。
-
关键词
软件故障树分析
设计模式
软件安全性
-
Keywords
software fault tree analysis（SFTA）
design pattern
software safety
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名引信软件安全性概念及分析方法
被引量：8
- 8
-
-
作者
杨辉
高敏
-
机构
石家庄军械工程学院弹药工程系
-
出处
《现代引信》
CSCD
1998年第4期1-5,共5页
-
文摘
随着引信技术的飞速发展，机电一体化安全系统和全电子安全系统将应用于各种新式弹药，软件在引信中的应用也愈加广泛。本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（ＦＴＡ）、Ｐｅｔｒｉ网两种常见的软件安全性分析方法。
-
关键词
引信
软件安全性
故障树分析
PETRI网技术
-
Keywords
fuze software safety fault tree analysis (FTA) petri Nets.
-
分类号
TJ430.1
[兵器科学与技术—火炮、自动武器与弹药工程]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
