幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

航空電子軟體開發與適航(精)/民機先進航電系統及應用系列/大飛機出版工程

  • 作者：編者:馮培德//繆萬勝//王金岩//王雲明//沈備軍等|責編:陳琳//劉宇軒|總主編:顧誦芬
  • 出版社：上海交大
  • ISBN：9787313227713
  • 出版日期：2019/12/01
  • 裝幀：精裝
  • 頁數：512
人民幣：RMB 345 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    航空電子軟體屬於安全關鍵軟體，其質量和安全性受到格外關注。軟體工程是保證軟體質量和安全性的最有效方法，軟體工程的核心要素包括過程、方法與工具。本書圍繞航空電子軟體的安全性和適航性，基於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  健康管理
參考文獻
縮略語
索引

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032