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

定　價：￥72.00

作　者：	蔡喁，鄭征，蔡開元等著
出版社：	上海交通大學出版社
叢編項：
標　簽：	工業(yè)技術(shù) 航空/航天

購買這本書可以去

ISBN：	9787313094698	出版時間：	2013-10-01	包裝：	精裝
開本：	16開	頁數(shù)：	230	字數(shù)：

內(nèi)容簡介

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

作者簡介

　　蔡喁，中國民用航空上海航空器適航審定中心電子電氣室高級工程師，中國民航C919型號合格審定委員會委員，軟件和航空電子硬件審查組長，國際局方軟件組織（CAST）成員，全面參與近年來國際主要適航審定局方的政策研究和討論。曾就職于霍尼韋爾中國研發(fā)中心，先后參加了A380、A340、B787等多個型號機載系統(tǒng)的軟件研制項目。參加過中國民用航空局對龐巴迪、波音等多個型號的認可審查活動。曾作為編委參加了機載軟件D0-178C系列標準的編制工作。主要研究方向包括機載軟硬件適航審定、機載綜合模塊化航電系統(tǒng)、機載網(wǎng)絡安保等專題。鄭征，中國科學院計算技術(shù)研究所博士，現(xiàn)為北京航空航天大學副教授。曾獲中國科學院院長獎，重慶市優(yōu)秀碩士論文獎，并獲得國家自然科學基金、航空基金等項目資助，主要研究方向包括軟件可靠性與測試，可靠飛行控制等。蔡開元，北京航空航天大學博士，教授。國家杰出青年科學基金獲得者，“長江學者獎勵計劃”特聘教授，曾獲“高等學校自然科學獎”一等獎，獲“中創(chuàng)軟件人才獎”，并入選“新世紀百千萬人才工程”國家級人選?！鴳赣贑entre 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 機載軟件體系結(jié)構(gòu)
1.2 RTCA DO-178B／C標準發(fā)展概述
2 相關(guān)知識概述
2.1 適航及民用航空器安全性
2.1.1 適航標準
2.1.2 適航管理
2.1.3 適航技術(shù)和符合性方法
2.2 機載設備的技術(shù)標準
2.3 機載設備的適航管理
2.4 相關(guān)技術(shù)發(fā)展趨勢
2.4.1 軟件安全性
2.4.2 軟件可靠性
3 基本內(nèi)容
3.1 基本理念
3.2 軟件生命周期過程
3.3 失效條件和軟件級別
3.4 目標概述
3.5 DO-178B標準的主要內(nèi)容及章節(jié)安排
3.6 DO-178C標準的新變化
4 過程分析
4.1 過程的含義
4.1.1 軟件計劃過程
4.1.2 軟件開發(fā)過程
4.1.3 軟件綜合過程
4.2 過程的結(jié)構(gòu)
4.3 過程間的交互
4.4 本章小結(jié)
5 目標分析
5.1 目標的含義
5.1.1 目標的詳細描述
5.1.2 DO-178C新增目標描述
5.1.3 目標間的關(guān)系
5.2 目標的分布與差異
5.3 目標和過程之間的關(guān)系
5.4 本章小結(jié)
6 DO-178B／C標準的附加考慮
6.1 先前開發(fā)的軟件
6.1.1 相關(guān)考慮
6.1.2 適航影響
6.2 使用自動化工具進行軟件的開發(fā)和驗證
6.2.1 工具鑒定
6.2.2 開發(fā)和驗證工具的鑒定要求
6.2.3 工具操作需求
6.2.4 DO-178C中的工具鑒定
6.3 使用可實現(xiàn)對DO-178B替代的其他方法
6.3.1 形式化方法
6.3.2 窮舉測試
6.3.3 多版本非相似軟件
6.3.4 服務歷史記錄
6.4 本章小結(jié)
7 DO-178B／C標準的應用
7.1 應用準則
7.1.1 系統(tǒng)和軟件研制單位的研制準則
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 參數(shù)化數(shù)據(jù)項
7.2.7 面向?qū)ο蠹夹g(shù)
7.2.8 基于模型的研制和驗證
7.3 本章小結(jié)
8 DO-178B標準與相關(guān)工業(yè)標準關(guān)系分析
8.1 ARP 4754（關(guān)于高度綜合或復雜飛機系統(tǒng)的合格審定考慮）
8.1.1 標準簡介
8.1.2 與DO-178B的關(guān)系
8.2 ARP 4761（民用機載系統(tǒng)和設備安全性評估過程的指南和方法）
8.2.1 標準簡介
8.2.2 與D0-178B的關(guān)系
8.3 DO-254（機載電子硬件的設計保證指南）
8.3.1 標準簡介
8.3.2 與DO-178B的關(guān)系
8.4 DO-248B／C（D0178的FAQ）
8.4.1 標準簡介
8.4.2 與D0-178B／C的關(guān)系
8.5 D0-278（地面和空中交通管制軟件標準）
8.5.1 標準簡介
8.5.2 與DO-178B的關(guān)系
8.6 DO-330（工具鑒定）
8.6.1 標準簡介
8.6.2 與DO-178B的關(guān)系
8.7 本章小結(jié)
9 DO-178B標準與相關(guān)軟件標準比較分析
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 本章小結(jié)
10 總結(jié)與展望
附錄A DO-178C及其補充文件的目標矩陣表
A-1 Do-178C目標矩陣表
A-2 D0-331目標矩陣表
A-3 DO-332目標矩陣表
A-4 DO-333目標矩陣表
附錄B 軟件審定計劃案例
參考文獻
縮略語
索引