亚洲av无码国产精品色午夜洪,亚洲一级aⅴ无码

內(nèi)容簡(jiǎn)介

　　《可信嵌入式軟件開(kāi)發(fā)方法與實(shí)踐/中航工業(yè)首席專家技術(shù)叢書》從廣泛的角度介紹了可信嵌入式軟件工程相關(guān)的概念、技術(shù)、方法和實(shí)踐。全書共分為4個(gè)部分共23章。第1部分為概論，介紹了嵌入式系統(tǒng)和嵌入式軟件的分類、特征和發(fā)展情況，并對(duì)可信性軟件的相關(guān)基本概念、屬性和需要關(guān)注的研究?jī)?nèi)容進(jìn)行了描述；重點(diǎn)闡述了軟件自身的特點(diǎn)、導(dǎo)致軟件不可信的因素和軟件開(kāi)發(fā)遇到的困擾：描述了軟件工程基礎(chǔ)知識(shí)，包括軟件工程基本概念、基本原則和研究?jī)?nèi)容。第2部分為通用的軟件工程的闡述，分別對(duì)軟件全生命周期模型、開(kāi)發(fā)計(jì)劃與策劃、需求開(kāi)發(fā)及管理、軟件架構(gòu)設(shè)計(jì)技術(shù)、機(jī)載軟件的設(shè)計(jì)、軟件驗(yàn)證技術(shù)、軟件質(zhì)量保證、軟件可信性評(píng)估、軟件可靠性評(píng)估和軟件安全性評(píng)估等軟件工程各個(gè)方面進(jìn)行了詳細(xì)論述。第3部分為機(jī)載軟件及其工程化方法，重點(diǎn)介紹了機(jī)載共性軟件適航標(biāo)準(zhǔn)DO-178、《軍用軟件研制能力成熟度模型》，以及機(jī)載軟件知識(shí)庫(kù)。第4部分為天脈操作系統(tǒng)的開(kāi)發(fā)實(shí)踐，對(duì)自行研制的天脈操作系統(tǒng)的開(kāi)發(fā)實(shí)踐進(jìn)行了詳細(xì)的描述，其中包括天脈操作系統(tǒng)的研制策劃、項(xiàng)目立項(xiàng)論證和研制總要求論證、軟件計(jì)劃過(guò)程和軟件開(kāi)發(fā)過(guò)程實(shí)踐等。軟件研制有很多工程化規(guī)定和指南，但是缺乏工程化的方法學(xué)指導(dǎo)，以及對(duì)軟件工程全面的融會(huì)貫通的理解，《可信嵌入式軟件開(kāi)發(fā)方法與實(shí)踐/中航工業(yè)首席專家技術(shù)叢書》能夠?yàn)楹娇展I(yè)和其他領(lǐng)域從事高安全性系統(tǒng)設(shè)計(jì)的軟件工作人員提供有用的參考資料。

作者簡(jiǎn)介

　　韓煒，研究員，博士，博士生導(dǎo)師。中航工業(yè)計(jì)算所副所長(zhǎng)，享受國(guó)務(wù)院特殊津貼，省級(jí)有突出貢獻(xiàn)專家，中航工業(yè)軟件工程技術(shù)首席技術(shù)專家。主要從事機(jī)載計(jì)算機(jī)系統(tǒng)技術(shù)、基礎(chǔ)軟件技術(shù)等相關(guān)領(lǐng)域研究。主持與參與了諸多國(guó)家重點(diǎn)裝備的研究工作，獲得國(guó)家科學(xué)技術(shù)進(jìn)步獎(jiǎng)、省部級(jí)技術(shù)進(jìn)步獎(jiǎng)、集團(tuán)公司級(jí)成果獎(jiǎng)近百項(xiàng)，在國(guó)內(nèi)外多家刊物發(fā)表學(xué)術(shù)著作多篇。曾被授予“中央企業(yè)勞動(dòng)模范”“部級(jí)有突出貢獻(xiàn)中青年專家”和“航空?qǐng)?bào)國(guó)優(yōu)秀貢獻(xiàn)獎(jiǎng)”等榮譽(yù)稱號(hào)。

圖書目錄

第1部分概論
第1章嵌入式軟件概述
1．1 引言
1．1．1 嵌入式系統(tǒng)
1．1．2 嵌入式軟件
1．2 可信軟件
1．2．1 處理模型及其假設(shè)
1．2．2 可信性軟件的研究?jī)?nèi)容
1．3 軟件屬性及軟件可信性屬性
1．3．1 軟件可用性
1．3．2 軟件可靠性
1．3．3 軟件安全性
1．3．4 軟件信息安全性
1．3．5 軟件維修性
第2章軟件困惑
2．1 軟件的特點(diǎn)
2．1．1 可塑性
2．1．2 變態(tài)性
2．1．3 開(kāi)發(fā)過(guò)程
2．2 軟件不可信因素
2．2．1 定義
2．2．2 錯(cuò)誤
2．2．3 故障
2．2．4 失效
2．3 錯(cuò)誤、故障、失效的關(guān)系
2．4 軟件的困擾
第3章軟件工程概念
3．1 軟件工程概念的提出
3．2 軟件工程基本概念
3．2．1 狹義的軟件工程化
3．2．2 廣義的軟件工程化
3．3 軟件工程的基本原則
3．4 軟件工程的研究?jī)?nèi)容
3．4．1 軟件工程過(guò)程
3．4．2 軟件工程方法研究
3．4．3 計(jì)算機(jī)輔助軟件工程工具研究
第2部分軟件工程概念
第4章軟件全生命周期模型
4．1 瀑布模型
4．2 增量迭代模型
4．3 快速原型模型
4．4 螺旋模型
4．5 敏捷模型
4．5．1 極限編程
4．5．2 Scrum模式
第5章開(kāi)發(fā)計(jì)劃與策劃
5．1 軟件策劃與軟件計(jì)劃概述
5．1．1 軟件策劃過(guò)程是高質(zhì)量軟件的保證
5．1．2 軟件策劃的依據(jù)與參考
5．2 軟件策劃過(guò)程的目標(biāo)
5．3 軟件計(jì)劃
5．3．1 軟件開(kāi)發(fā)計(jì)劃
5．3．2 軟件驗(yàn)證計(jì)劃
5．3．3 軟件配置管理計(jì)劃
5．3．4 軟件質(zhì)量保證計(jì)劃
5．4 軟件開(kāi)發(fā)標(biāo)準(zhǔn)
5．4．1 軟件需求標(biāo)準(zhǔn)
5．4．2 軟件設(shè)計(jì)標(biāo)準(zhǔn)
5．4．3 軟件編碼標(biāo)準(zhǔn)
5．5 軟件計(jì)劃和軟件開(kāi)發(fā)標(biāo)準(zhǔn)的配置管理
5．6 軟件策劃過(guò)程的評(píng)審和質(zhì)量保證
第6章需求開(kāi)發(fā)及管理
6．1 需求標(biāo)準(zhǔn)
6．1．1 需求的正確性
6．1．2 需求完整性
6．1．3 需求的可驗(yàn)證性
6．1．4 非功能需求
6．1．5 需求的魯棒性
……
第3部分機(jī)載軟件及軟件工程
第4部分一個(gè)可信性軟件（天脈操作系統(tǒng)）的實(shí)踐
縮略語(yǔ)
參考文獻(xiàn)