可信嵌入式軟件開發方法與實踐/中航工業首席專傢技術叢書 下載 mobi epub pdf 電子書 2024

☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　《可信嵌入式軟件開發方法與實踐/中航工業首席專傢技術叢書》從廣泛的角度介紹瞭可信嵌入式軟件工程相關的概念、技術、方法和實踐。全書共分為4個部分共23章。第1部分為概論，介紹瞭嵌入式係統和嵌入式軟件的分類、特徵和發展情況，並對可信性軟件的相關基本概念、屬性和需要關注的研究內容進行瞭描述；重點闡述瞭軟件自身的特點、導緻軟件不可信的因素和軟件開發遇到的睏擾：描述瞭軟件工程基礎知識，包括軟件工程基本概念、基本原則和研究內容。第2部分為通用的軟件工程的闡述，分彆對軟件全生命周期模型、開發計劃與策劃、需求開發及管理、軟件架構設計技術、機載軟件的設計、軟件驗證技術、軟件質量保證、軟件可信性評估、軟件可靠性評估和軟件安全性評估等軟件工程各個方麵進行瞭詳細論述。第3部分為機載軟件及其工程化方法，重點介紹瞭機載共性軟件適航標準DO-178、《軍用軟件研製能力成熟度模型》，以及機載軟件知識庫。第4部分為天脈操作係統的開發實踐，對自行研製的天脈操作係統的開發實踐進行瞭詳細的描述，其中包括天脈操作係統的研製策劃、項目立項論證和研製總要求論證、軟件計劃過程和軟件開發過程實踐等。
　　軟件研製有很多工程化規定和指南，但是缺乏工程化的方法學指導，以及對軟件工程全麵的融會貫通的理解，《可信嵌入式軟件開發方法與實踐/中航工業首席專傢技術叢書》能夠為航空工業和其他領域從事高安全性係統設計的軟件工作人員提供有用的參考資料。

作者簡介

　　韓煒，研究員，博士，博士生導師。中航工業計算所副所長，享受國務院特殊津貼，省級有突齣貢獻專傢，中航工業軟件工程技術首席技術專傢。主要從事機載計算機係統技術、基礎軟件技術等相關領域研究。主持與參與瞭諸多國傢重點裝備的研究工作，獲得國傢科學技術進步奬、省部級技術進步奬、集團公司級成果奬近百項，在國內外多傢刊物發錶學術著作多篇。曾被授予“中央企業勞動模範”“部級有突齣貢獻中青年專傢”和“航空報國優秀貢獻奬”等榮譽稱號。

目錄

第1部分 概論
第1章 嵌入式軟件概述
1．1 引言
1．1．1 嵌入式係統
1．1．2 嵌入式軟件
1．2 可信軟件
1．2．1 處理模型及其假設
1．2．2 可信性軟件的研究內容
1．3 軟件屬性及軟件可信性屬性
1．3．1 軟件可用性
1．3．2 軟件可靠性
1．3．3 軟件安全性
1．3．4 軟件信息安全性
1．3．5 軟件維修性
第2章 軟件睏惑
2．1 軟件的特點
2．1．1 可塑性
2．1．2 變態性
2．1．3 開發過程
2．2 軟件不可信因素
2．2．1 定義
2．2．2 錯誤
2．2．3 故障
2．2．4 失效
2．3 錯誤、故障、失效的關係
2．4 軟件的睏擾
第3章 軟件工程概念
3．1 軟件工程概念的提齣
3．2 軟件工程基本概念
3．2．1 狹義的軟件工程化
3．2．2 廣義的軟件工程化
3．3 軟件工程的基本原則
3．4 軟件工程的研究內容
3．4．1 軟件工程過程
3．4．2 軟件工程方法研究
3．4．3 計算機輔助軟件工程工具研究

第2部分 軟件工程概念
第4章 軟件全生命周期模型
4．1 瀑布模型
4．2 增量迭代模型
4．3 快速原型模型
4．4 螺鏇模型
4．5 敏捷模型
4．5．1 極限編程
4．5．2 Scrum模式
第5章 開發計劃與策劃
5．1 軟件策劃與軟件計劃概述
5．1．1 軟件策劃過程是高質量軟件的保證
5．1．2 軟件策劃的依據與參考
5．2 軟件策劃過程的目標
5．3 軟件計劃
5．3．1 軟件開發計劃
5．3．2 軟件驗證計劃
5．3．3 軟件配置管理計劃
5．3．4 軟件質量保證計劃
5．4 軟件開發標準
5．4．1 軟件需求標準
5．4．2 軟件設計標準
5．4．3 軟件編碼標準
5．5 軟件計劃和軟件開發標準的配置管理
5．6 軟件策劃過程的評審和質量保證
第6章 需求開發及管理
6．1 需求標準
6．1．1 需求的正確性
6．1．2 需求完整性
6．1．3 需求的可驗證性
6．1．4 非功能需求
6．1．5 需求的魯棒性
……

第3部分 機載軟件及軟件工程
第4部分 一個可信性軟件（天脈操作係統）的實踐
縮略語
參考文獻
可信嵌入式軟件開發方法與實踐/中航工業首席專傢技術叢書 下載 mobi epub pdf txt 電子書 格式

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價