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

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

软件产品化在航天领域的应用与管理

软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管理要求,并介绍了北京控制工程研究所在型号软件产品化研制方面的探索和实践。     

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

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

航天型号软件研制过程中的并行工程

分析了航天型号软件研制过程的现状和弊病,阐述了航天型号软件研制过程是并行工程的初步内容,介绍了支持并行工程的工具环境,提出了实施并行工程的初步目标。     

浅谈软件研制质量与标准化工作

概述计算机技术在航天型号研制中的应用及其硬件、软件的发展情况,分析了目前航天系统工程研制中软件开发过程存在的问题,强调指出提高软件研制质量必须实施各项软件标准和规范,认真做好标准化工作。     

软件过程管理体系建设及其在型号中的应用

简述航天型号软件项目研制的特点,阐述软件管理标准的引进和管理体系的建立过程,结合本所开展的GJB 5000A二级评定,介绍软件过程管理体系在型号中的应用情况。     

一种防空型号武器控制系统软件架构设计方法

主要介绍了防空型号武器控制系统软件设计的一般要求及特点,并介绍了各种软件设计所需要的操作系统、开发语言及调试环境。最后结合实际型号的工程研制过程给出了武器控制软件设计的一种基本架构。     

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

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

项目管理模式与航天现行型号管理模式对比研究

通过对项目管理模式与航天现行型号研制管理模式对比分析，论述型号研制实行项目管理的必要性和可能性，探索在社会主义市场经济条件下型号研制管理的一种新机制。提出在型号研制中实行项目管理，推行项目经理负责制的建议，以及航天型号项目管理建议方案。     

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

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