软件FMEA实例研究

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

提高武器系统软件可靠性的技术途径

根据国内外软件生产现状及发展趋势，分析了系统软件不可靠的原因，并根据工程实践，阐明了提高武器系统软件可靠性的技术途径。     

卫星可靠性技术--计算机辅助可靠性分析

介绍了自行开发的计算机辅助可靠性设计和分析软件(CCARS)的特点及其应用.CXARS软件的主要功能包括可靠性建模、预计与分配,故障模式影响分析及故障树分析等几项常用的可靠性分析功能.它们既可作为单一功能的软件独立运行,又可统一于软件包整体框架下使用.本文对各功能的特殊性作相应介绍,并阐述设计过程中的关键技术.最后介绍了CCARS在航天及核工业等领域的应用.     

软件可靠性的量化问题讨论

在航天器中,随着软件数量的增多,软件可靠性问题日趋尖锐。软件可靠性不能只停留在定性分析阶段,要建立明确的可靠性指标,要通过全任务剖面建立起来的测试用例,对给定软件作长时间的测试和可靠性评价,以便展现软件可靠性不断增长的过程。本文介绍软件可靠性量化的方法,供软件研制者参考。     

航天器软件可靠性增长模式研究与实践

基于航天器软件可靠性增长模式的研究,提出了航天器软件可靠性增长的概念和特点,系统阐述了一种适合航天器软件可靠性增长的模式和流程,探索性整合了SFMEA、SFTA、软件可靠性增长测试以及软件可靠性评估验证等多种方法和手段,将该增长模式应用在某型航天器设备软件可靠性增长项目上,并对其应用效果进行了总结。     

软件可靠性保证及相关技术

介绍了软件可靠性的基本概念，从航天工程应用的角度对软件可靠性保证工作，以及相关软件可靠性分配、预计、估计、分析与测试技术进行了较完整的归纳，并给出了下一步工作的建议。     

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

不锈钢薄壁管滚珠旋压模拟及缺陷分析

对不锈钢薄壁管滚珠旋压过程及其工艺缺陷进行了分析和研究,应用刚塑性有限元软件DEFORM3D,建立了不锈钢薄壁管滚珠旋压过程的三维有限元模型,分析了其变形过程中应力、应变的分布规律,并结合实验结果分析了滚珠旋压过程中出现的表面隆起、表面起皱、表面波纹等典型缺陷,提出相应预防措施,可用于指导生产实践.     

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

从计算机系统角度分析软件可靠性

从硬／软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出，是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬／软件系统可靠性进行研究。基于上述认识，本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法，为对计算机系统进行可靠性分析时，考虑硬、软件之间的复杂的相关作用提供了基础，从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。     

反编译在航天工业中的应用

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；     

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

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

航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现