共查询到19条相似文献,搜索用时 93 毫秒
1.
SFMEA方法在飞行控制软件中的应用 总被引:2,自引:0,他引:2
为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。 相似文献
2.
控制系统飞行控制软件重用技术研究 总被引:1,自引:0,他引:1
探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。 相似文献
3.
4.
5.
基于SPARC与RTEMS的飞行控制软件开发技术 总被引:2,自引:0,他引:2
实时多任务操作系统的引入改变了传统飞行控制软件开发模式.本文结合RTEMS实时多任务系统部分源代码,深入剖析了该系统的任务管理、任务调度机制、SPARC寄存器窗口管理、中断管理、RTEMS系统初始化及系统配置等关键技术.并结合某型号开发经验,给出飞行控制软件的系统建模、任务划分、任务调度等开发过程.该过程为提高飞行控制软件的实时性、安全性和可靠性提供了很好的保障. 相似文献
6.
飞行控制软件全数字仿真测试环境的搭建与应用 总被引:1,自引:1,他引:0
全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。 相似文献
7.
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。 相似文献
8.
双CPU环境下飞行控制软件的设计 总被引:2,自引:1,他引:1
本文介绍运载火箭飞行控制软件在双CPU冗余硬件配置下的可靠性设计和可靠性指标分配的方法。文中提到的部分技术经过了实验的检验,证明是可行的 相似文献
9.
10.
飞行控制软件测试用例辅助设计系统原型的设计与实现 总被引:1,自引:1,他引:0
BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。 相似文献
11.
测试发射控制软件确认测试环境的实现 总被引:4,自引:2,他引:2
测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现 相似文献
12.
13.
控制软件可靠性设计和评估方法 总被引:4,自引:0,他引:4
介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。 相似文献
14.
15.
针对并联机床运动控制的特点,基于VC开发了一个应用于三自由度并联机床的软件控制系统。测试结果表明,软件系统设计合理,能准确实现并联机床数控系统的基本功能。 相似文献
16.
机场导航设备集中监控系统采用了先进的计算机技术、测控技术和通讯技术,实现了对机场导航设备运行状态的实时监测和实时控制。该系统软件基于Window s95 操作系统,采用VisualC+ + 高级语言编程,具有界面友好,功能强大的特点。 相似文献
17.
提出以航天器测试系统监控管理软件为运行环境的结构化航天器测试控制语言的语句定义和采用专用编译器、解释器实现的一种方法,可作为研制测试语言和在测试系统监控管理运行软件环境中增强测试序列管理和功能的设计参考。 相似文献
18.
小卫星星载容错计算机控制系统软硬件设计 总被引:10,自引:0,他引:10
创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星,介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式,为保证星载计算机的可靠性,设计中对硬件使用了双计算机热备份冗余设计,星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成,介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术,并经过了一年多的飞行测试验证,达到了预定的运行目标,星载计算机圆满完成了各项设计功能,证明了卫星计算机系统的安全可靠。 相似文献
19.
针对火箭遥测实时处理软件中不同位跳变指令处理代码复用性差的问题,通过分析几种典型的位跳变指令处理特点,抽象出位跳变指令处理的一般步骤,并从软件角度给出了位跳变指令的定义.根据C++语言多态性原理,将位跳变指令的软件实现划分为抽象基类和实现子类两个部分,规范了位跳变指令的处理逻辑、体现了不同种类位跳变指令处理特点.应用实... 相似文献