基于控制流的软件树生成及其应用

软件故障树分析(SFTA)是软件可靠性与安全性分析的重要方法,在软件生命周期各阶段中有较为广泛的应用。但由于故障树分析依赖于个人经验,往往分析过程费时、费力且不能得到完整、准确的故障树图。为使软件故障树分析客观、准确、高效且有固定模式可依,提出了基于控制流分析结果的故障树分析方法。方法主要依赖于由工具软件自动生成的软件控制流图,按固定的转换模式进行软件故障树图的构建。最后,通过“X型烟雾报警系统”实例演绎来证明该方法的可行性。

基于IPO功能分解的嵌入式软件故障树分层构建方法

针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。

软件故障树分析在铁路自动售票系统服务中的应用

以铁路自动售票系统应用服务为例,应用软件故障树分析法进行分析。根据铁路自动售票系统应用服务的特点,建立该系统应用服务的失效模型,采用最小割集分析法,确定影响系统应用服务失效的主要因素,从而在以后的设计过程中采取有效措施防止错误或故障的发生,达到提高铁路自动售票系统应用服务稳定性的目的。

软件故障树分析及其在生化分析仪中的应用

以全自动生化分析仪主控软件盘转动控制软件单元为例,应用软件故障树分析法进行分析.该方法可以在设计的初期阶段对软件系统进行分析,找出关键的功能模块和可能的故障原因,从而在设计的过程中采取有效措施防止错误或故障的发生.结果表明该技术能将软件系统和控制系统很好地联系起来,从整体上考虑系统的故障问题,对分析仪软、硬件系统的可靠性设计具有良好的指导作用.

故障树分析软件研究

介绍了故障树分析软件系统 (faulttreeanalysissoftwaresystem ,简称FATS)的总体结构、功能及其实现 .FTAS以图形方式建立故障树 ,供用户选择 .通过对FTAS作定性分析得系统的最小割集 ,用定量分析得失效率、基本事件的三个重要度 .FTAS可考虑多因素影响 ;它可处理各种类型的故障树 ,而且运行速度快 .

嵌入式火控系统软件故障树分析研究

武器装备软件在使用过程中发生失效会导致任务的失败,从而影响软件可靠性。软件故障树分析作为软件可靠性分析的主要方法,在软件的优化和改进中起着重要作用。在此首先介绍了软件故障树分析法,结合嵌入式火控系统软件特点进行软件故障树分析,构造了软件故障树,通过求解最小割集进行定性分析和定量分析。实践证明软件故障树分析有助于提高软件在系统测试或投入使用后的可靠性,提升武器装备的战斗力。

安全系统事故树分析软件研究

介绍了系统安全分析中事故树分析软件的自动化程序设计原理与方法,该软件实现了事故树的自动绘制、化简,进行定性分析,自动求解最小割集,绘制事故树的等效树,求解结构重要度,进行顶上事件发生概率、各基本事件的概率重要度、临界重要度的定量分析求解等功能,能够找出控制事故发生的最有效途径。该软件具有功能性强、直观形象、可操作性强的优点,对于事故的分析与评价具有较高的应用价值。

基于行为树与软件故障树的需求缺陷分析

在所有软件密集系统的开发中,需求缺陷一直是困扰人们的难题。利用行为树表示法将初始功能需求转化、集成为设计行为树,并建立设计行为树与软件故障树之间的追溯关系;同时对软件密集系统的功能需求中可能存在的各种缺陷进行分析,实现了对导致软件开发后期出现故障的需求缺陷的追溯和修正,为解决复杂系统的需求缺陷问题提供了一个切实可行的方案。

基于软件可信树的软件可信度量方法研究

可信计算是目前信息安全领域研究的热点问题之一。分析了软件可信度量的研究意义;构建了软件可信树体系结构;提出了软件可信树的软件可信度量的方法与步骤;最后完成了软件可信度量评估系统的分析、设计与实现。

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。

SA分析中的软件网络树生成算法

SA分析技术是软件测试中的一种重要方法,主要用于识别和估计软件系统设计和操作中存在的潜在性问题.对软件网络树的研究是SA分析技术的核心部分之一.在介绍了软件网络树中的基本拓扑模式和基本符号之后,着重介绍了软件网络树的生成算法,然后通过一个实例——电梯控制软件的VC源代码来说明软件网络树的生成算法的应用,最后给出了结论.

基于剖析信息和关键路径长度的软件扇出树生成算法

开发利用ILP(Inst ruction-level Parallelism)是现代高性能处理器取得高性能的关键要素之一。宽发射的超标量处理器、超长指令字处理器和数据流处理器只有在并行执行多条相邻的指令时才能获得较高的性能。数据流处理器的一个关键问题是如何把指令的计算结果高效地播送给目标指令而不用读写集中式寄存器文件。对于每条目标数大于指令所能编码的目标数的指令,编译程序都要插入一棵由MOV指令构成的软件扇出树来把计算结果播送给多条目标指令。为了暴露更多的ILP给硬件执行基底,提出了一种改进的软件扇出树生成算法,本算法根据目标指令的执行概率大小以及目标指令到该指令所在块的出口的关键路径长度来计算目标指令的权值,然后对各个叶子的优先权值进行排序,再根据优先权值的顺序来构造一棵软件扇出树,以便把指令的计算结果播送给多条目标指令。实验结果发现,本算法相对于传统的软件扇出树生成算法其性能有较大的提高。

软件故障树分析技术

介绍了在开发高可靠性软件系统中，软件故障树分析技术的概念、基本技术，给出了故障树的建造方法，并用一个简单的例子，介绍了软件故障树的应用。

软件故障树和专家系统在航电软件测试中的应用

传统的测试过程后会有测试问题积累,但是针对不同型号直升机的航电操作飞行软件来说测试问题的借鉴性没有得到充分的利用。故障诊断专家系统是模拟专家思维方式,积累专业知识的软件系统,用来进行故障原因的自动推理。针对操作飞行软件中发现的问题,将故障树分析法和专家系统相结合,提出了基于故障树的航电操作飞行软件故障诊断专家系统知识获取方法。能够有效的积累历史故障数据,提升软件测试效率。针对操作飞行软件特点,划分功能模块,建立了操作飞行软件各子系统的故障树,研究了专家系统的核心组件知识库和推理机,建立了操作飞行软件故障诊断专家系统,能够有效的提升软件测试效率,并提供了相似问题相应的解决方案。

软件潜在分析技术及其应用

软件潜在分析技术的概念及方法在文中作了讨论．对此技术在航天软件中开展和应用前景及具体实施方法作了分析和介绍。

软件可信度量评估系统的设计与实现

论述了软件可信树度量的方法及应用;对软件可信度量评估系统进行了分析、设计与实现。

ODC方法在故障树分析中的应用研究

为了减少构建软件故障树的成本,提高构建软件故障树的效率,保证软件故障树的完备性,将正交缺陷分类技术引入故障树分析,把典型缺陷类型按照ODC正交分类思想划分,构造了一个缺陷类型与缺陷基本原因对照表,并根据此表提出了一种故障树快速构建方法。通过一个实例介绍了快速故障树构建方法的应用。通过在项目中试用此方法构建故障树,表明了该方法的高效准确。

自动测试软件可靠性量化评估技术研究

本文针对军用自动测试系统(M-ATS)测试程序软件(简称"TPS软件")在研制过程中存在的薄弱环节,对TPS软件失效模式、影响及危害性分析技术(FMECA)和TPS软件故障树分析技术(FTA)进行了研究,方便开展TPS软件可靠性量化评估。

空间站锂电池管理软件安全性分析与设计

针对空间站系统对长期在轨运行高可靠性、高安全性的要求,提出了基于软件故障树分析(SFTA)和软件失效模式及影响分析(SFMEA)的空间站锂电池管理系统软件安全分析与设计的方法。采用该方法,对系统安全性、单机安全性和软件安全性需求进行逐层分析和设计,得出软件安全关键功能、部件和单元,提出相应的软件设计约束,采取相应的软件可靠性设计方法,并最终经过测试验证和确认。通过该方法,把软件安全性设计贯穿整个软件研制生命周期过程中,软件的安全性得到系统、全面的分析和设计。测试结果表明:该方法有效地提升了软件可靠性,空间站锂电池管理系统的安全性得到了充分的保证,可以满足长期在轨稳定运行的要求。