软件FMEA实例研究

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

基于SPARC与RTEMS的飞行控制软件开发技术

实时多任务操作系统的引入改变了传统飞行控制软件开发模式.本文结合RTEMS实时多任务系统部分源代码,深入剖析了该系统的任务管理、任务调度机制、SPARC寄存器窗口管理、中断管理、RTEMS系统初始化及系统配置等关键技术.并结合某型号开发经验,给出飞行控制软件的系统建模、任务划分、任务调度等开发过程.该过程为提高飞行控制软件的实时性、安全性和可靠性提供了很好的保障.     

运载火箭飞行控制软件可重用架构设计方法研究

面对运载火箭飞行控制软件规模和复杂程度急剧增加、研制周期越来越短的现状,如何运用新的软件开发模式替换传统的研制模式,来提高飞行控制软件的研制效率已成为当前的研究重点。应用可重用软件开发技术能够有效提高软件研制效率,对提高运载火箭飞行控制软件的设计质量和缩短研制周期具有重要的意义。本文基于可重用软件开发技术在需求分析、概要设计和详细设计阶段的具体内容,提出了一种运载火箭飞行控制软件可重用架构设计方法,从而用于提高设计效率,降低维护成本,对运载火箭飞行控制软件研制具有较强的应用价值。     

基于实时操作系统的多核分布式飞行软件架构设计

基于对飞行器飞行控制软件的需求(包括功能需求以及性能需求)的分析结果，提出一种基于战星嵌入式实时操作系统的多核分布式飞行控制软件架构，架构共分为5层，从下至上依次为：操作系统层、硬件接口层、框架层、应用层和重用构件层。该架构目前已经应用于多个项目，具有可移植性好、可靠性高、实时性强等特点，能够降低项目研制时间与成本，提高飞行控制软件的可靠性与安全性。     

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

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

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

神舟飞船出舱活动故障模式和对策的设计与实践

根据出舱活动任务及程序安排,以确保航天员安全和提高出舱活动任务可靠性为原则,提出了飞行事件时域、空域分析与出舱活动故障树分析（FTA）和失效模式与影响分析（FMEA）结果相结合的设计方法,完成了我国出舱活动飞行任务故障模式与对策。所设计的多种出舱活动故障模式与对策,覆盖了出舱活动飞行任务可能发生的各种情况,经出舱活动飞行试验验证,故障模式设计及对策设计合理,有力保证了神舟七号飞船出舱活动的圆满成功,具有工程实用价值。     

空间交会最终平移轨迹安全模式设计

追踪航天器在制导机动失效后的飞行轨迹的安全性,是最终平移段标称轨迹设计的主要依据。被动安全模式设定较低的逼近速度,可避免制导机动失效后两星碰撞,但飞行时间较长;主动安全模式设置避撞机动,确保制导机动失效后飞行安全,其逼近速度大于被动安全模式,可缩短飞行时间。本文以 V-bar逼近为例,对以目标航天器质心为中心的长方体飞行禁区与球形飞行禁区,给出被动安全模式与主动安全模式及其避撞机动的设计方法。     

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。     

飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

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

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

软件缺陷管理技术在测控系统软件中的应用实践

软件缺陷管理是提高软件质量和软件开发效率的重要技术途径之一。基于地面测控系统中软件缺陷的基本概念,详细介绍地面测控软件缺陷管理的思想和方法,给出软件缺陷管理体系结构的分析和设计,并对软件缺陷管理在地面测控系统软件中应用实践情况进行总结和分析。指出软件缺陷管理系统应用的不足与需要解决的问题。实践中,软件缺陷管理系统对于提高团队开发效率和软件产品质量效果明显。     

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

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