機載軟件適航標準DO-178B/C研究 [Research on Airborne Software Airworthiness Standards DO-178B/C] pdf epub mobi txt 電子書 下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

蔡喁，鄭徵，蔡開元 等 著

齣版社： 上海交通大學齣版社

ISBN：9787313094698

版次：1

商品編碼：11379416

包裝：精裝

叢書名： 大飛機齣版工程

外文名稱：Research on Airborne Software Airworthiness Standards DO-178B/C

開本：16開

齣版時間：2013-10-01

用紙：膠版紙###

編輯推薦

　　《機載軟件適航標準DO-178B/C研究》綜閤瞭國外著名航空廠商機載軟件研製的成功經驗，結閤中國航空工業的實際特點，應用國際國內軟件適航標準的要求，經過分析、研究和歸納，提齣瞭一套完整的、嚴格的、規範的、易操作的A級軟件研製流程的最佳實踐指南。本指南從團隊角色、研製過程、研製活動、研製任務、研製流程、研製數據等多個方麵進行闡述，並綜閤分析瞭應用該實踐指南與適航標準符閤性之間的關係。本指南對軟件適航標準要求的實施及適航審定都具有良好的指導和藉鑒意義。

內容簡介

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

作者簡介

　　蔡喁，中國民用航空上海航空器適航審定中心電子電氣室高級工程師，中國民航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。主要研究方嚮包括軟件可靠性與測試，可靠飛行控製，軟件控製論等。

目錄

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 軟件審定計劃案例
參考文獻
縮略語
索引

前言/序言

評分☆☆☆☆☆

物美價廉，方便快捷。

評分☆☆☆☆☆

活動價格，比較劃算，否則太貴瞭

評分☆☆☆☆☆

書還是從北京調配過來的。不錯。不過包裝不好。書拿到手腫已經損壞邊角瞭

評分☆☆☆☆☆

活動價格，比較劃算，否則太貴瞭

評分☆☆☆☆☆

活動價格，比較劃算，否則太貴瞭

評分☆☆☆☆☆

還可以，有點髒，還可以，有點髒，還可以，有點髒，

評分☆☆☆☆☆

書還是從北京調配過來的。不錯。不過包裝不好。書拿到手腫已經損壞邊角瞭

評分☆☆☆☆☆

還可以，有點髒，還可以，有點髒，還可以，有點髒，

評分☆☆☆☆☆

為什麼必須要十個字呢