从个体开发到工程化研制：载人航天工程软件工程化论文集

　全面实行软件工程化管理是载人航天工程的一项创举。载人航天作为我国航天发展史上规模、系统组成复杂、技术难度、可靠性安全性要求的一项大型系统工程，大量采用了各种新技术，中央处理器、可编程器件等的应用规模空前；软件开发与管理成为重要技术基础性工作，具有举足轻重的作用。
　　载人航天软件工作是一个不断探索创新的过程。工程启动初期面临的形势是，研制队伍中重硬件轻软件的传统观念仍然比较浓厚，个人方法理念主导的工作模式占据主流，软件开发过程不透明，质量不可控，与载人航天工程的要求有很大差距。因此，工程领导下决心引入软件工程化管理思想，并作出全面推行实施的决定。通过分管技术领导主抓、成立软件专家组和充分调研，创新性地建立并实践了工程软件标准规范，走出了一条既符合中国国情、又充分体现复杂系统工程特点的软件工程化道路，使软件产品质量得到切实保障。工程实施二十一年来，圆满完成了六次无人和五次载人飞行任务，实现了中华民族千年的飞天梦想和载人航天技术的持续突破，取得了举世瞩目的成就，软件工作功不可没。
　　求索的脚步不能停止。当前，我国已经进入载人空间站研制建设的崭新发展阶段。空间站长期在轨运行，软件规模大幅增加，运行环境更为复杂，健壮性、兼容性、可更换性等要求更高，对任务需求产生深刻影响，工程软件工作又面临新的巨大挑战。为此，在载人航天实行软件工程化管理二十年之际，工程总体组织召开了专题交流会，旨在“回顾过去，总结经验，展望未来，思考探索”。本书即是此次交流大会的优秀论文集，其内容涵盖了工程实践中软件研制的技术与管理规范、信息系统构建、测试验证技术、安全性可靠性设计等方方面面。相信本书会为广大软件工作者和广大高校师生提供有益参考。
　　谨以此论文集的出版，向所有为载人航天工程软件工程化作出贡献的同志表示诚挚的感谢！

载人航天软件工作是一个不断探索创新的过程。工程启动初期面临的形势是，研制队伍中重硬件轻软件的传统观念仍然比较浓厚，个人方法理念主导的工作模式占据主流，软件开发过程不透明，质量不可控，与载人航天工程的要求有很大差距。因此，工程领导下决心引入软件工程化管理思想，并作出全面推行实施的决定。通过分管技术领导主抓、成立软件专家组和充分调研，创新性地建立并实践了工程软件标准规范，走出了一条既符合中国国情、又充分体现复杂系统工程特点的软件工程化道路，使软件产品质量得到切实保障。工程实施二十一年来，圆满完成了六次无人和五次载人飞行任务，实现了中华民族千年的飞天梦想和载人航天技术的持续突破，取得了举世瞩目的成就，软件工作功不可没。
　　求索的脚步不能停止。当前，我国已经进入载人空间站研制建设的崭新发展阶段。空间站长期在轨运行，软件规模大幅增加，运行环境更为复杂，健壮性、兼容性、可更换性等要求更高，对任务需求产生深刻影响，工程软件工作又面临新的巨大挑战。为此，在载人航天实行软件工程化管理二十年之际，工程总体组织召开了专题交流会，旨在“回顾过去，总结经验，展望未来，思考探索”。

软件工程化研究与实践
载人航天软件工程化实践与发展
载人运载火箭软件工程化20年实践
921工程软件评测任务回顾与总结
中继卫星运控系统建设软件工程化八年历程回顾
基于软件测评管理信息平台的测评过程规范解决方案
加强航天飞控中心参试软件质量的几点建议
载人航天测控软件过程模型与质量保证
风险管理推进精细软件工程化
“松结对编程”在载人航天软件开发团队中的实践
基于CMMI的企业软件过程实施浅析
中继卫星运控中心软件配置管理方法研究
载人航天工程测发系统软件测试过程质量控制
载人航天器软件需求变更控制的研究及实践
航天型号可编程逻辑器件软件质量管理分析
基于一体化信息基础平台的信息化建设
数据中继任务技术状态管理初探
发射场地面设备控制系统安全软件工程技术及其挑战
测控系统软件工程化现状及发展浅析
航天飞行训练模拟器软件工程化方法研究
基于软件产品质量模型的测试需求分析方法研究
商用软件在航天器应用的工程化研究
DAFM模型在航天软件质量评估中的应用
西安中心载人航天测控软件过程改进工作实践与思考
载人航天飞控软件风险管理
航天飞控中心基于CMMI 2级的组织过程改进

软件体系结构设计与研发技术
天链一号中继卫星运控中心软件系统顶层架构设计
载人航天软件构件化再工程模型及应用
嵌入式软件开发平台
交会对接任务北京中心测控软件体系设计与实现
基于中间件的载人航天器软件体系结构研究
型号软件的高可靠图形建模与代码自动生成集成开发平台
一种认识面向对象理论的新方法
DSP C67××高性能数字仿真设计
基于面向服务架构的测控软件系统研究与设计
基于在轨智能重构的空间站环控系统设计
面向航天型号应用的故障诊断系统设计
星载软件在轨维护技术
空间站信息系统核心控制软件架构研究
基于CPLD及CPCI总线的FPGA实时配置方法的软硬件设计及实现
航天测控系统软件组件化研究与设计
航天测控中心软件架构一体化设计
航天员训练模拟器软件系统架构设计
组合夹具快速设计技术研究与应用
基于高级语言的火箭控制系统诸元实时生成及验证系统
空间站任务飞控中心软件体系结构与研发模式

软件测试验证技术
基于全数字仿真测试环境的飞行控制软件网络频域特性测试
安全关键系统中COTS软件的测试技术
载入航天任务软件测试用例标准和设计方法探讨
试验任务IP网测试方法比较
……
软件安全可靠性技术