日本免费精品视频,男人的天堂在线免费视频,成人久久久精品乱码一区二区三区,高清成人爽a毛片免费网站

在線客服
機載軟件適航標準DO-178B/C研究圖書
人氣:49

機載軟件適航標準DO-178B/C研究

《機載軟件適航標準DO-178B\C研究》深入解讀了民用飛機機載軟件*代表性的適航符合性方法RTCA DO-178B/C標準。在對該標準的相關知識和基本內容介紹的基礎上,結合目標、活動和符合性數據,從過程和目標兩個方面對R...
  • 所屬分類:圖書 >工業技術>航空/航天  
  • 作者:[蔡喁] 等編著
  • 產品參數:
  • 叢書名:--
  • 國際刊號:9787313094698
  • 出版社:--
  • 出版時間:2013-10
  • 印刷時間:2013-10-01
  • 版次:1
  • 開本:16開
  • 頁數:--
  • 紙張:膠版紙
  • 包裝:精裝
  • 套裝:

內容簡介

《機載軟件適航標準DO-178B\C研究》深入解讀了民用飛機機載軟件代表性的適航符合性方法RTCA DO-178B/C標準。在對該標準的相關知識和基本內容介紹的基礎上,結合目標、活動和符合性數據,從過程和目標兩個方面對RTCA DO-178B/C標準進行詳細地解讀,并對其附加考慮、應用準則和對標準的偏離等進行分析。進一步,通過對與之相關的民機系統研制標準的介紹,系統地解讀整套民機機載軟件適航符合性方法及項目經驗,詳細分析DO-178B/C標準各過程階段的研制要求。,通過與其他行業安全相關軟件常用研制標準的對比,為研制單位在現有基礎上快速建立滿足DO-178B/C要求的軟件研制體系提供參考。

編輯推薦

蔡喁、鄭征、蔡開元、王澤新、歐旭坡編著的這本《機載軟件適航標準DO-178B\C研究》綜合了國外著名航空廠商機載軟件研制的成功經驗,結合中國航空工業的實際特點,應用國際國內軟件適航標準的要求,經過分析、研究和歸納,提出了一套完整的、嚴格的、規范的、易操作的A級軟件研制流程的實踐指南。本指南從團隊角色、研制過程、研制活動、研制任務、研制流程、研制數據等多個方面進行闡述,并綜合分析了應用該實踐指南與適航標準符合性之間的關系。本指南對軟件適航標準要求的實施及適航審定都具有良好的指導和借鑒意義。

作者簡介

蔡喁,中國民用航空上海航空器適航審定中心電子電氣室高級工程師,中國民航C919型號合格審定委員會委員,軟件和航空電子硬件審查組長,國際局方軟件組織(CAST)成員,參與近年來國際主要適航審定局方的政策研究和討論。曾就職于霍尼韋爾中國研發中心,先后參加了A380、A340、B787等多個型號機載系統的軟件研制項目。參加過中國民用航空局對龐巴迪、波音等多個型號的認可審查活動。曾作為編委參加了機載軟件D0-178C系列標準的編制工作。主要研究方向包括機載軟硬件適航審定、機載綜合模塊化航電系統、機載網絡安保等專題。

鄭征,中國科學院計算技術研究所博士,現為北京航空航天大學副教授。曾獲中國科學院院長獎,重慶市碩士論文獎,并獲得國家自然科學基金、航空基金等項目資助,主要研究方向包括軟件性與測試,飛行控制等。

蔡開元,北京航空航天大學博士,教授。國家杰出青年科學基金獲得者,"長江學者獎勵計劃"特聘教授,曾獲"高等學校自然科學獎"一等獎,獲"中創軟件人才獎",并入選"新世紀百千萬人才工程"人選。`曾應聘于Centre for Soltware Reliability,City University,London任Research Fellow。曾為美國Purdue University的Visiting Scholar,澳大利亞University of Wollongong的Visiting Professorial Fellow。主要研究方向包括軟件性與測試,飛行控制,軟件控制論等。

王澤新,中國民用航空上海航空器適航審定中心電子電氣室主任。中國民航C919型號合格審定審查組電子電氣專業組組長、蛟龍600飛機審查組副組長。主要研究方向包括系統安全性、電氣系統適航審定等。

歐旭坡,南京航空航天大學博士,研究員級高級工程師,現任上海審定中心副主任,中國民航C919型號合格審查組組長。曾在成都飛機工業公司技術中心先后擔任飛機設計員、專業設計組長、總體室副主任、中心副主任以及成飛公司計劃處副處長等職。曾擔任中航商飛總經理助理(計劃財務部長)及成都威特電噴公司總經理。主要研究方向飛機設計、經營及項目管理、適航及適航審定等。

目錄

1 緒論

1.1 機載計算機及機載軟件

1.1.1 機載計算機

1.1.2 機載軟件的重要

1.1.3 機載軟件體系結構

1.2 RTCA DO-178B/C標準發展概述

2 相關知識概述

2.1 適航及民用航空器安全性

2.1.1 適航標準

2.1.2 適航管理

2.1.3 適航技術和符合性方法

2.2 機載設備的技術標準

2.3 機載設備的適航管理

2.4 相關技術發展趨勢

2.4.1 軟件安全性

2.4.2 軟件性

3 基本內容

3.1 基本理念

3.2 軟件生命周期過程

3.3 失效條件和軟件級別

3.4 目標概述

3.5 DO-178B標準的主要內容及章節安排

3.6 DO-178C標準的新變化

4 過程分析

4.1 過程的含義

4.1.1 軟件計劃過程

4.1.2 軟件開發過程

4.1.3 軟件綜合過程

4.2 過程的結構

4.3 過程間的交互

4.4 本章小結

5 目標分析

5.1 目標的含義

5.1.1 目標的詳細描述

5.1.2 DO-178C新增目標描述

5.1.3 目標間的關系

5.2 目標的分布與差異

5.3 目標和過程之間的關系

5.4 本章小結

6 DO-178B/C標準的附加考慮

6.1 先前開發的軟件

6.1.1 相關考慮

6.1.2 適航影響

6.2 使用自動化工具進行軟件的開發和驗證

6.2.1 工具鑒定

6.2.2 開發和驗證工具的鑒定要求

6.2.3 工具操作需求

6.2.4 DO-178C中的工具鑒定

6.3 使用可實現對DO-178B替代的其他方法

6.3.1 形式化方法

6.3.2 窮舉測試

6.3.3 多版本非相似軟件

6.3.4 服務歷史記錄

6.4 本章小結

7 DO-178B/C標準的應用

7.1 應用準則

7.1.1 系統和軟件研制單位的研制準則

7.1.2 取證試驗

7.1.3 整機研制單位的研制準則

7.1.4 審查部門的審定方式

7.2 對標準的偏離

7.2.1 軟件級別的確定

7.2.2 非激活代碼

7.2.3 驗證試驗前軟件成熟度

7.2.4 單一需求級別

7.2.5 商用貨架成品軟件

7.2.6 參數化數據項

7.2.7 面向對象技術

7.2.8 基于模型的研制和驗證

7.3 本章小結

8 DO-178B標準與相關工業標準關系分析

8.1 ARP 4754(關于高度綜合或復雜飛機系統的合格審定考慮)

8.1.1 標準簡介

8.1.2 與DO-178B的關系

8.2 ARP 4761(民用機載系統和設備安全性評估過程的指南和方法)

8.2.1 標準簡介

8.2.2 與D0-178B的關系

8.3 DO-254(機載電子硬件的設計保障指南)

8.3.1 標準簡介

8.3.2 與DO-178B的關系

8.4 DO-248B/C(D0178的FAQ)

8.4.1 標準簡介

8.4.2 與D0-178B/C的關系

8.5 D0-278(地面和空中交通管制軟件標準)

8.5.1 標準簡介

8.5.2 與DO-178B的關系

8.6 DO-330(工具鑒定)

8.6.1 標準簡介

8.6.2 與DO-178B的關系

8.7 本章小結

9 DO-178B標準與相關軟件標準比較分析

9.1 與GJB 5000A-2008對比分析

9.1.1 標準簡介

9.1.2 與DO-178B的比較

9.2 與IEC 61508-3對比分析

9.2.1 標準簡介

9.2.2 與DO-178B的比較

9.3 與EN 50128對比分析

9.3.1 標準簡介

9.3.2 與DO-178B的比較

9.4 與IEEE-EIA 12207.0對比分析

9.4.1 標準簡介

9.4.2 與DO-178B的比較

9.5 與ESA PSS-05-0對比分析

9.5.1 標準簡介

9.5.2 與DO-178B的比較

9.6 與FDA指南對比分析

9.6.1 標準簡介

9.6.2 與D0-178B的比較

9.7 本章小結

10 總結與展望

附錄A DO-178C及其補充文件的目標矩陣表

A-1 Do-178C目標矩陣表

A-2 D0-331目標矩陣表

A-3 DO-332目標矩陣表

A-4 DO-333目標矩陣表

附錄B 軟件審定計劃案例

參考文獻

縮略語

索引

網友評論(不代表本站觀點)

免責聲明

更多出版社