SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

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

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

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

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

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

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

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

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

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

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

双CPU环境下飞行控制软件的设计

本文介绍运载火箭飞行控制软件在双ＣＰＵ冗余硬件配置下的可靠性设计和可靠性指标分配的方法。文中提到的部分技术经过了实验的检验，证明是可行的     

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

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

运载火箭飞行控制软件的多任务设计方法

为适应新一代运载火箭电气设备数字化、智能化的发展，提出了基于嵌入式实时操作系统的飞行控制软件多任务设计方法。设计了飞行控制、数据管理、精确关机等任务，根据实时性要求设置了相应任务的优先级；设计了飞行控制任务在三冗余处理器中一致性运算的机制；提出了控制周期内多任务共用临界资源的约束性要求作为冗余同步运行的余量指标。本文设计的多任务已在新一代中型运载火箭飞行试验中得到验证。     

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

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

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

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

负载模拟器的实时控制研究

负载模拟器可以模拟飞行器在飞行过程中作用在舵轴上的铰链力矩,是重要的半实物仿真设备之一。实时控制软件是影响负载模拟器性能指标的关键因素。简介了负载模拟器的组成及工作原理;采用W indows RTX的方法实现了实时控制软件对高精度时钟的要求;给出了负载模拟器实时控制软件的总体结构及控制流程。实测结果表明,负载模拟器各项性能指标均达到设计要求,证明所述实时控制软件设计方法正确。     

对接综合试验台控制系统软件快速原型开发技术

对基于快速原型设计睁对接综合试验台控制系统软件开发进行了研究。介绍了根据系统方案进行的中央控制台软件设计和模型计算机软件开发等。给出了快速原型设计,以及包括接口设计、配置管理、文档管理等软件工程化管理等关键技术。     

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

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

基于VC的三自由度并联机床数控系统软件开发

针对并联机床运动控制的特点,基于VC开发了一个应用于三自由度并联机床的软件控制系统。测试结果表明,软件系统设计合理,能准确实现并联机床数控系统的基本功能。     

机场导航设备集中监控系统

机场导航设备集中监控系统采用了先进的计算机技术、测控技术和通讯技术，实现了对机场导航设备运行状态的实时监测和实时控制。该系统软件基于Ｗｉｎｄｏｗ ｓ９５ 操作系统，采用ＶｉｓｕａｌＣ＋ ＋ 高级语言编程，具有界面友好，功能强大的特点。     

航天器测试控制语言设计与实现方法研究

提出以航天器测试系统监控管理软件为运行环境的结构化航天器测试控制语言的语句定义和采用专用编译器、解释器实现的一种方法,可作为研制测试语言和在测试系统监控管理运行软件环境中增强测试序列管理和功能的设计参考。     

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

位控类时间指令的实时处理方法

针对火箭遥测实时处理软件中不同位跳变指令处理代码复用性差的问题,通过分析几种典型的位跳变指令处理特点,抽象出位跳变指令处理的一般步骤,并从软件角度给出了位跳变指令的定义.根据C++语言多态性原理,将位跳变指令的软件实现划分为抽象基类和实现子类两个部分,规范了位跳变指令的处理逻辑、体现了不同种类位跳变指令处理特点.应用实...