目录

●第1章载人航天运载火箭软件研制简介1
1.1概述1
1.2载人航天软件工程化发展历程2
1.2.1“自编、自导、自演”的软件研制模式2
1.2.2软件工程化体系的建立3
1.2.3软件工程化管理的规范5
1.2.4软件研制能力的提升11
1.3小结21
第2章载人航天运载火箭软件系统分析与设计22
2.1概述22
2.2软件系统方案论证23
2.2.1必要性分析23
2.2.2任务分析23
2.2.3明确初步方案24
2.2.4实现可行性分析24
2.3软件系统分析24
2.3.1功能需求分析25
2.3.2性能需求分析26
2.3.3接口需求分析26
2.3.4数据需求分析26
2.3.5其他约束条件分析26
2.4软件系统设计27
2.4.1什么是架构设计27
2.4.2逻辑架构设计30
2.4.3物理架构设计33
2.4.4开发架构设计36
2.4.5运行架构设计38
2.4.6数据架构设计38
2.5小结42
第3章载人航天运载火箭软件系统安全性分析与设计43
3.1概述43
3.2软件系统安全性分析与设计45
3.2.1软件初步危险分析45
3.2.2基于时序事件链的软件系统安全性分析46
3.3软件配置项安全性需求分析与设计50
3.3.1基于特定需求的软件安全性需求分析与设计50
3.3.2软件故障树分析75
3.3.3软件失效模式及影响分析79
3.4小结83
第4章载人航天运载火箭软件系统风险控制84
4.1概述84
4.2软件风险等级评价84
4.2.1确定风险发生概率84
4.2.2确定风险严重程度85
4.2.3确定风险等级86
4.3软件风险源识别86
4.3.1通用风险源87
4.3.2特定风险源88
4.4软件风险分析88
4.4.1通用风险分析89
4.4.2特定风险分析90
4.5软件风险应对措施90
4.5.1依据软件安全等级进行技术风险管理90
4.5.2针对风险特点开展软件可靠性与安全性设计91
4.6小结93
第5章载人航天运载火箭软件重用94
5.1概述94
5.2载人航天运载火箭软件重用的工作内容和实践95
5.2.1部门结构优化96
5.2.2重用过程规划97
5.2.3重用标准建设99
5.2.4重用产品建设101
5.3载人航天运载火箭可重用软件开发的技术方法和实践102
5.3.1可重用软件的需求分析103
5.3.2可重用软件的概要设计105
5.3.3可重用软件详细设计和实现108
5.3.4可重用软件的测试109
5.4载人航天运载火箭可重用软件库109
5.4.1可重用软件库概述109
5.4.2可重用软件库管理110
5.4.3可重用软件库使用112
5.5小结113
第6章载人航天运载火箭软件技术发展114
6.1航天装备发展趋势114
6.2基于模型的软件研制技术115
6.2.1概述115
6.2.2基于模型的系统工程发展116
6.2.3基于模型的软件系统研制探索116
6.2.4基于模型的软件研制体系规划117
6.2.5展望119
6.3面向大数据的智能分析120
6.3.1概述120
6.3.2大数据处理平台探索121
6.3.3故障智能诊断探索122
6.3.4展望122
6.4小结123
参考文献124
附录A-1自查检查单示例——应用软件125
附录A-2自查检查单示例——FPGA软件129
附录B软件验收确认表示例133
附录C型号软件统一化要求格式示例136
附录D型号软件系统安全性分析报告格式示例137
附录E软件系统配套表格式示例139