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

目錄



第1章載人航天運(yùn)載火箭軟件研制簡(jiǎ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è)計(jì)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實(shí)現(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è)計(jì)27

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

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

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

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

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

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

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

3.1概述43

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

3.2.1軟件初步危險(xiǎn)分析45

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

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

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

3.3.2軟件故障樹(shù)分析75

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

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

4.1概述84

4.2軟件風(fēng)險(xiǎn)等級(jí)評(píng)價(jià)84

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

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

4.2.3確定風(fēng)險(xiǎn)等級(jí)86

4.3軟件風(fēng)險(xiǎn)源識(shí)別86

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

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

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

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

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

4.5軟件風(fēng)險(xiǎn)應(yīng)對(duì)措施90

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

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

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

5.1概述94

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

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

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

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

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

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

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

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

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

5.3.4可重用軟件的測(cè)試109

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

5.4.1可重用軟件庫(kù)概述109

5.4.2可重用軟件庫(kù)管理110

5.4.3可重用軟件庫(kù)使用112

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

6.1航天裝備發(fā)展趨勢(shì)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ù)處理平臺(tái)探索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軟件驗(yàn)收確認(rèn)表示例133
附錄C型號(hào)軟件統(tǒng)一化要求格式示例136
附錄D型號(hào)軟件系統(tǒng)安全性分析報(bào)告格式示例137
附錄E軟件系統(tǒng)配套表格式示例139