《航天型號(hào)可編程邏輯器件軟件工程》圍繞可編程邏輯器件軟件工程全壽命周期過程進(jìn)行闡述,涵蓋了可編程邏輯器件軟件系統(tǒng)需求分析、軟件需求分析、設(shè)計(jì)與實(shí)現(xiàn)、測(cè)試、可靠性與安全性、軟件工程環(huán)境等技術(shù)要求,全書內(nèi)容緊密結(jié)合航天型號(hào)研制實(shí)際,具有較強(qiáng)的工程指導(dǎo)性。
《航天型號(hào)可編程邏輯器件軟件工程》適合航天型號(hào)可編程邏輯器件軟件研制中的設(shè)計(jì)、生產(chǎn)、測(cè)試和管理人員使用。
隨著可編程邏輯器件在航天型號(hào)等領(lǐng)域應(yīng)用越來越廣,其相應(yīng)的標(biāo)準(zhǔn)體系逐步完善,其中包括4項(xiàng)航天行業(yè)標(biāo)準(zhǔn)(QJ20355-2014《航天型號(hào)可編程邏輯器件軟件開發(fā)通用要求》、QJ20352-2014《航天型號(hào)可編程邏輯器件軟件設(shè)計(jì)要求》、QJ20353-2014《航天型號(hào)可編程邏輯器件軟件測(cè)試要求》、QJ20356-2014《航天型號(hào)可編程邏輯器件軟件編碼要求》),5項(xiàng)國(guó)家標(biāo)準(zhǔn)(GB/T33781-2017《可編程邏輯器件軟件開發(fā)通用要求》、GB/T33783-2017《可編程邏輯器件軟件測(cè)試指南》、GB/T33784-2017《可編程邏輯器件軟件文檔編制規(guī)范》、GB/T37979-2019《可編程邏輯器件軟件VHDL編程安全要求》、GB/T37691-2019《可編程邏輯器件軟件安全性設(shè)計(jì)指南》),2項(xiàng)國(guó)家軍用標(biāo)準(zhǔn)(GJB9432-2018《軍用可編程邏輯器件軟件開發(fā)通用要求》、GJB9433-2018《軍用可編程邏輯器件軟件測(cè)試要求》),為可編程邏輯器件軟件研制人員提供了頂層依據(jù)和行動(dòng)指南。
為進(jìn)一步提高航天型號(hào)可編程邏輯器件軟件工程化水平,提升型號(hào)可編程邏輯器件軟件的設(shè)計(jì)、開發(fā)以及測(cè)試質(zhì)量,本書在標(biāo)準(zhǔn)體系基礎(chǔ)上力求為可編程邏輯器件軟件管理人員、開發(fā)人員和測(cè)試人員提供一套針對(duì)性強(qiáng)、簡(jiǎn)明實(shí)用的實(shí)踐教材,適用對(duì)象為航天型號(hào)可編程邏輯器件軟件研制中的設(shè)計(jì)、生產(chǎn)、測(cè)試和管理人員。
本書主編單位是中國(guó)航天科工集團(tuán)有限公司第三〇四研究所,作為空間科學(xué)衛(wèi)星工程等多項(xiàng)航天工程可編程邏輯器件軟件工程技術(shù)支撐單位,在航天可編程邏輯器件軟件工程領(lǐng)域積累了豐富的理論基礎(chǔ)和工程經(jīng)驗(yàn)。在本書編寫過程中,主編單位還聯(lián)合了探月與航天工程中心、中國(guó)科學(xué)院國(guó)家空間科學(xué)中心、中國(guó)科學(xué)院高能物理研究所、中國(guó)科學(xué)院上海技術(shù)物理研究所、中廣核研究院有限公司等單位編寫本書。編寫團(tuán)隊(duì)充分結(jié)合航天工程經(jīng)驗(yàn),同時(shí)兼顧不同崗位人員需求,力求擴(kuò)大教材的適用范圍,增加教材的針對(duì)性、實(shí)用性,重點(diǎn)突出經(jīng)驗(yàn)的總結(jié)及在實(shí)際中的應(yīng)用,以期對(duì)讀者提供更大幫助。
本書共分為10章,內(nèi)容及主要編者如下:
第1章航天型號(hào)可編程邏輯器件軟件工程概述,簡(jiǎn)要介紹了可編程邏輯器件的發(fā)展歷程、工作原理及應(yīng)用現(xiàn)狀,可編程邏輯器件軟件工程化的國(guó)內(nèi)外發(fā)展形勢(shì)及可編程邏輯器件軟件全壽命周期的技術(shù)要求。主要編者為張津榮、劉軍、王棟、周晴。
第1章 航天型號(hào)可編程邏輯器件軟件工程概述
1.1 可編程邏輯器件概述
1.1.1 可編程邏輯器件發(fā)展歷程
1.1.2 可編程邏輯器件的工作原理和內(nèi)部結(jié)構(gòu)
1.1.3 可編程邏輯器件軟件與傳統(tǒng)軟件的區(qū)別
1.1.4 可編程邏輯器件產(chǎn)品介紹及應(yīng)用現(xiàn)狀
1.2 可編程邏輯器件應(yīng)用領(lǐng)域
1.2.1 高速通信
1.2.2 電子對(duì)抗
1.2.3 數(shù)字圖像處理
1.2.4 自動(dòng)控制
1.2.5 信息安全
1.3 可編程邏輯器件軟件工程化管理
1.3.1 國(guó)外方面
1.3.2 國(guó)內(nèi)方面
1.3.3 可編程邏輯器件軟件全壽命周期
1.4 本章小結(jié)
第2章 可編程邏輯器件軟件系統(tǒng)需求分析
2.1 目的及任務(wù)
2.2 系統(tǒng)需求分析要求
2.2.1 分析系統(tǒng)和設(shè)備的要求
2.2.2 系統(tǒng)需求分析技術(shù)要求
2.3 本章小結(jié)
第3章 可編程邏輯器件軟件需求分析
3.1 目的與任務(wù)
3.2 需求分析的重要性
3.3 需求分析的工作過程
3.3.1 需求信息的獲取和記錄
3.3.2 《軟件需求規(guī)格說明》的編寫
3.3.3 《軟件需求規(guī)格說明》的檢查
3.3.4 需求評(píng)審
3.3.5 需求分析管理
3.4 需求分析階段的工作要點(diǎn)
3.5 需求分析階段的技術(shù)要求
3.6 編寫《軟件需求規(guī)格說明》的要求
3.6.1 《軟件需求規(guī)格說明》的主要內(nèi)容
3.6.2 《軟件需求規(guī)格說明》的格式
3.6.3 《軟件需求規(guī)格說明》的特征
3.7 可編程邏輯器件軟件需求文檔中經(jīng)常出現(xiàn)的問題
3.7.1 一般問題
3.7.2 功能需求方面的問題
3.7.3 接口需求方面的問題
3.7.4 性能需求方面的問題
3.7.5 安全性、可靠性方面的問題
3.8 《軟件需求規(guī)格說明》的檢查方法
3.8.1 采用需求評(píng)審方法檢查
3.8.2 采用結(jié)構(gòu)化分析方法檢查
3.8.3 采用仿真模型方法驗(yàn)證檢查
3.8.4 采用形式化方法分析檢查
3.9 本章小結(jié)
……
第4章 可編程邏輯器件軟件結(jié)構(gòu)設(shè)計(jì)
第5章 可編程邏輯器件軟件詳細(xì)設(shè)計(jì)
第6章 可編程邏輯器件軟件實(shí)現(xiàn)
第7章 可編程邏輯器件軟件測(cè)試
第8章 可編程邏輯器件軟件可靠性與安全性
第9章 可編程邏輯器件軟件工程環(huán)境
第10章 可編程邏輯器件應(yīng)用與展望
參考文獻(xiàn)