航空電子軟體開發與適航

航空電子軟體開發與適航

《航空電子軟體開發與適航》2020年6月上海交通大學出版社出版的圖書,作者是繆萬勝、王金岩、王雲明、沈備軍、康介祥。

本書圍繞航空電子軟體的安全性和適航性,基於D0-178C定義的軟體生命周期過程展開了軟體工程過程及其直接相關的管理活動的闡述。

基本介紹

  • 中文名:航空電子軟體開發與適航 
  • 作者:繆萬勝 、王金岩、王雲明、沈備軍、康介祥
  • 出版社:上海交通大學出版社
  • ISBN:9787313227713
內容簡介,圖書目錄,

內容簡介

航空電子軟體屬於安全關鍵軟體,其質量和安全性受到格外關注。軟體工程是保證軟體質量和安全性的有效方法,軟體工程的核心要素包括過程、方法與工具。該書圍繞航空電子軟體的安全性和適航性,基於D0-178C定義的軟體生命周期過程展開了軟體工程過程及其直接相關的管理活動的闡述,並重點關注安全性、適航性、綜合模組化航空電子(IMA)系統和基於模型的軟體開發方法。
  《航空電子軟體開發與適航》適用於從事民用飛機航空電子軟體的開發、驗證、配置管理、質量保證或審定聯絡人員,對從事其他軟體工程的相關技術人員均有很好的參考價值。

圖書目錄

1 緒論
1.1 航空電子軟體的定義
1.1.1 航空電子系統
1.1.2 航空電子軟體
1.2 航空電子軟體的特點
1.2.1 嵌入式實時
1.2.2 安全性
1.2.3 適航性
1.3 航空電子軟體的發展
1.3.1 航空電子系統的發展歷程
1.3.2 航空電子軟體的發展歷程
1.3.3 航空電子軟體的發展趨勢
1.4 航空電子軟體開發相關要求
1.4.1 ARP 4754A《航空器與系統開發指南》
1.4.2 ARP 4761《民用機載系統與設備的安全性評估過程指南與方法》
1.4.3 DO-297《綜合模組化航空電子系統研製與審定指南》
1.4.4 DO-178C《機載系統和設備合格審定中的軟體考慮》
1.4.5 能力成熟度模型集成(CMMI)
1.4.6 DO-178C與能力成熟度模型集成(CMMI)的差異
1.5 本書概覽
2 軟體開發模型、方法和計畫
2.1 軟體生命周期模型
2.1.1 瀑布模型和V模型
2.1.2 疊代模型和敏捷過程
2.2 軟體開發方法
2.2.1 結構化方法
2.2.2 面向對象方法和DO-332
2.2.3 形式化方法和DO-333
2.2.4 基於模型的方法和DO-331
2.2.5 軟體產品線工程方法
2.3 軟體計畫
2.3.1 軟體合格審定計畫
2.3.2 軟體開發計畫
2.3.3 軟體驗證計畫
2.3.4 軟體配置管理計畫
2.3.5 軟體質量保證計畫
3 軟體需求
3.1 概述
3.1.1 系統需求和軟體需求
3.1.2 需求層級
3.1.3 軟體需求類型
3.1.4 軟體需求過程
3.2 軟體需求獲取
3.3 軟體需求分析建模
3.3.1 建立軟體需求標準
3.3.2 選擇需求分析建模方法
3.3.3 基於用例的分析建模方法
3.3.4 結構化分析建模方法
3.3.5 軟體安全性需求分析
3.3.6 需求優先權劃分
3.4 軟體需求編寫
3.4.1 需求編寫的要求
3.4.2 功能需求的編寫
……
4 軟體設計
5 軟體實現
6 軟體驗證
7 軟體配置管理
8 軟體質量保證
9 軟體合格審定
10 工具鑑定
11 實時作業系統與分區
12 健康管理
參考文獻
縮略語
索引

相關詞條

熱門詞條

聯絡我們