●第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