內容介紹 | |
出版社:上海交通大學出版社 ISBN:9787313227713 版次:1 商品編碼:12914818 品牌:上海交通大學出版社 包裝:精裝 開本:16開 出版時間:2020-06-01 用紙:膠版紙 頁數:512 正文語種:中文 作者:發,馮培德,繆萬勝,王金岩,王雲明,瀋備軍
" 內容簡介 航空電子軟件屬於安全關鍵軟件,其質量和安全性受到格外關注。軟件工程是保證軟件質量和安全性的有效方法,軟件工程的核心要素包括過程、方法與工具。該書圍繞航空電子軟件的安全性和適航性,基於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 健康管理 參考文獻 縮略語 索引 查看全部↓
" | | |