載人航天運(yùn)載火箭軟件研制實踐

目錄



第1章載人航天運(yùn)載火箭軟件研制簡介1

1.1概述1

1.2載人航天軟件工程化發(fā)展歷程2

1.2.1“自編、自導(dǎo)、自演”的軟件研制模式2

1.2.2軟件工程化體系的建立3

1.2.3軟件工程化管理的規(guī)范5

1.2.4軟件研制能力的提升11

1.3小結(jié)21
第2章載人航天運(yùn)載火箭軟件系統(tǒng)分析與設(shè)計22

2.1概述22

2.2軟件系統(tǒng)方案論證23

2.2.1必要性分析23

2.2.2任務(wù)分析23

2.2.3明確初步方案24

2.2.4實現(xiàn)可行性分析24

2.3軟件系統(tǒng)分析24

2.3.1功能需求分析25

2.3.2性能需求分析26

2.3.3接口需求分析26

2.3.4數(shù)據(jù)需求分析26

2.3.5其他約束條件分析26

2.4軟件系統(tǒng)設(shè)計27

2.4.1什么是架構(gòu)設(shè)計27

2.4.2邏輯架構(gòu)設(shè)計30

2.4.3物理架構(gòu)設(shè)計33

2.4.4開發(fā)架構(gòu)設(shè)計36

2.4.5運(yùn)行架構(gòu)設(shè)計38

2.4.6數(shù)據(jù)架構(gòu)設(shè)計38

2.5小結(jié)42
第3章載人航天運(yùn)載火箭軟件系統(tǒng)安全性分析與設(shè)計43

3.1概述43

3.2軟件系統(tǒng)安全性分析與設(shè)計45

3.2.1軟件初步危險分析45

3.2.2基于時序事件鏈的軟件系統(tǒng)安全性分析46

3.3軟件配置項安全性需求分析與設(shè)計50

3.3.1基于特定需求的軟件安全性需求分析與設(shè)計50

3.3.2軟件故障樹分析75

3.3.3軟件失效模式及影響分析79

3.4小結(jié)83
第4章載人航天運(yùn)載火箭軟件系統(tǒng)風(fēng)險控制84

4.1概述84

4.2軟件風(fēng)險等級評價84

4.2.1確定風(fēng)險發(fā)生概率84

4.2.2確定風(fēng)險嚴(yán)重程度85

4.2.3確定風(fēng)險等級86

4.3軟件風(fēng)險源識別86

4.3.1通用風(fēng)險源87

4.3.2特定風(fēng)險源88

4.4軟件風(fēng)險分析88

4.4.1通用風(fēng)險分析89

4.4.2特定風(fēng)險分析90

4.5軟件風(fēng)險應(yīng)對措施90

4.5.1依據(jù)軟件安全等級進(jìn)行技術(shù)風(fēng)險管理90

4.5.2針對風(fēng)險特點(diǎn)開展軟件可靠性與安全性設(shè)計91

4.6小結(jié)93
第5章載人航天運(yùn)載火箭軟件重用94

5.1概述94

5.2載人航天運(yùn)載火箭軟件重用的工作內(nèi)容和實踐95

5.2.1部門結(jié)構(gòu)優(yōu)化96

5.2.2重用過程規(guī)劃97

5.2.3重用標(biāo)準(zhǔn)建設(shè)99

5.2.4重用產(chǎn)品建設(shè)101

5.3載人航天運(yùn)載火箭可重用軟件開發(fā)的技術(shù)方法和實踐102

5.3.1可重用軟件的需求分析103

5.3.2可重用軟件的概要設(shè)計105

5.3.3可重用軟件詳細(xì)設(shè)計和實現(xiàn)108

5.3.4可重用軟件的測試109

5.4載人航天運(yùn)載火箭可重用軟件庫109

5.4.1可重用軟件庫概述109

5.4.2可重用軟件庫管理110

5.4.3可重用軟件庫使用112

5.5小結(jié)113
第6章載人航天運(yùn)載火箭軟件技術(shù)發(fā)展114

6.1航天裝備發(fā)展趨勢114

6.2基于模型的軟件研制技術(shù)115

6.2.1概述115

6.2.2基于模型的系統(tǒng)工程發(fā)展116

6.2.3基于模型的軟件系統(tǒng)研制探索116

6.2.4基于模型的軟件研制體系規(guī)劃117

6.2.5展望119

6.3面向大數(shù)據(jù)的智能分析120

6.3.1概述120

6.3.2大數(shù)據(jù)處理平臺探索121

6.3.3故障智能診斷探索122

6.3.4展望122

6.4小結(jié)123
參考文獻(xiàn)124
附錄 A-1自查檢查單示例——應(yīng)用軟件125
附錄 A-2自查檢查單示例——FPGA軟件129
附錄B軟件驗收確認(rèn)表示例133
附錄C型號軟件統(tǒng)一化要求格式示例136
附錄D型號軟件系統(tǒng)安全性分析報告格式示例137
附錄E軟件系統(tǒng)配套表格式示例139