摘要：文中首先阐述有关生存周期模型的基本概念，简要介绍4个已在国内外航天界得到成功应用的典型生存周期模型：瀑布模型、增量模型、进化模型和基于软件包的生存周期模型，分别给出了这4个生存周期模型的优点、缺点、适用情况以及各生存周期阶段的主要产品和里程碑评审，最后给出选择航天型号软件生存周期模型的基本原则。

摘要：随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性,最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.

摘要：针对当前航天型号软件模块故障预测中度量属性过多而影响分类模型效率、准确率和数据收集困难的问题,以NASA公布的MDP数据集为基础,设计了基于Logistic回归模型的属性选择算法;通过该算法在6个数据集上的应用选择了对航天型号软件质量影响较大的4个属性,并将其在12个软件中进行验证,说明了该算法的有效性,选择的4个度量属性可为当前航天型号软件的度量提供参考和依据。

摘要：伴随着信息技术的进步和计算机软件工程逐渐趋于成熟,航天型号产品也向数字化、信息化和智能化的方向迅速发展。软件在航天型号产品中的应用越来越广泛,规模和复杂性急剧增加,软件的质量和可靠性对航天型号任务的影响也越来越大。软件工程的过程和型号软件的功能都十分复杂,为了规范软件的设计、开发以及生产维护等各个环节,提高型号软件产品的质量,需要通过制订软件工程标准提升软件研制技术和管理水平,提高软件工程化水平。