航天型號可編程邏輯器件軟件工程

第1章 航天型號可編程邏輯器件軟件工程概述
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 電子對抗
1．2．3 數(shù)字圖像處理
1．2．4 自動控制
1．2．5 信息安全
1．3 可編程邏輯器件軟件工程化管理
1．3．1 國外方面
1．3．2 國內(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 需求評審
3．3．5 需求分析管理
3．4 需求分析階段的工作要點
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 采用需求評審方法檢查
3．8．2 采用結(jié)構(gòu)化分析方法檢查
3．8．3 采用仿真模型方法驗證檢查
3．8．4 采用形式化方法分析檢查
3．9 本章小結(jié)
……
第4章 可編程邏輯器件軟件結(jié)構(gòu)設(shè)計
第5章 可編程邏輯器件軟件詳細設(shè)計
第6章 可編程邏輯器件軟件實現(xiàn)
第7章 可編程邏輯器件軟件測試
第8章 可編程邏輯器件軟件可靠性與安全性
第9章 可編程邏輯器件軟件工程環(huán)境
第10章 可編程邏輯器件應(yīng)用與展望
參考文獻