機(jī)載軟件適航標(biāo)準(zhǔn)DO-178B/C研究

定　價：￥72.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

　　蔡喁，中國民用航空上海航空器適航審定中心電子電氣室高級工程師，中國民航C919型號合格審定委員會委員，軟件和航空電子硬件審查組長，國際局方軟件組織（CAST）成員，全面參與近年來國際主要適航審定局方的政策研究和討論。曾就職于霍尼韋爾中國研發(fā)中心，先后參加了A380、A340、B787等多個型號機(jī)載系統(tǒng)的軟件研制項目。參加過中國民用航空局對龐巴迪、波音等多個型號的認(rèn)可審查活動。曾作為編委參加了機(jī)載軟件D0-178C系列標(biāo)準(zhǔn)的編制工作。主要研究方向包括機(jī)載軟硬件適航審定、機(jī)載綜合模塊化航電系統(tǒng)、機(jī)載網(wǎng)絡(luò)安保等專題。鄭征，中國科學(xué)院計算技術(shù)研究所博士，現(xiàn)為北京航空航天大學(xué)副教授。曾獲中國科學(xué)院院長獎，重慶市優(yōu)秀碩士論文獎，并獲得國家自然科學(xué)基金、航空基金等項目資助，主要研究方向包括軟件可靠性與測試，可靠飛行控制等。蔡開元，北京航空航天大學(xué)博士，教授。國家杰出青年科學(xué)基金獲得者，“長江學(xué)者獎勵計劃”特聘教授，曾獲“高等學(xué)校自然科學(xué)獎”一等獎，獲“中創(chuàng)軟件人才獎”，并入選“新世紀(jì)百千萬人才工程”國家級人選。’曾應(yīng)聘于Centre for Soltware Reliability，City University，London任Research Fellow。曾為美國Purdue University的Visiting Scholar，澳大利亞University of Wollongong的Visiting Professorial Fellow。主要研究方向包括軟件可靠性與測試，可靠飛行控制，軟件控制論等。

圖書目錄

1 緒論
1.1 機(jī)載計算機(jī)及機(jī)載軟件
1.1.1 機(jī)載計算機(jī)
1.1.2 機(jī)載軟件的重要
1.1.3 機(jī)載軟件體系結(jié)構(gòu)
1.2 RTCA DO-178B／C標(biāo)準(zhǔn)發(fā)展概述
2 相關(guān)知識概述
2.1 適航及民用航空器安全性
2.1.1 適航標(biāo)準(zhǔn)
2.1.2 適航管理
2.1.3 適航技術(shù)和符合性方法
2.2 機(jī)載設(shè)備的技術(shù)標(biāo)準(zhǔn)
2.3 機(jī)載設(shè)備的適航管理
2.4 相關(guān)技術(shù)發(fā)展趨勢
2.4.1 軟件安全性
2.4.2 軟件可靠性
3 基本內(nèi)容
3.1 基本理念
3.2 軟件生命周期過程
3.3 失效條件和軟件級別
3.4 目標(biāo)概述
3.5 DO-178B標(biāo)準(zhǔn)的主要內(nèi)容及章節(jié)安排
3.6 DO-178C標(biāo)準(zhǔn)的新變化
4 過程分析
4.1 過程的含義
4.1.1 軟件計劃過程
4.1.2 軟件開發(fā)過程
4.1.3 軟件綜合過程
4.2 過程的結(jié)構(gòu)
4.3 過程間的交互
4.4 本章小結(jié)
5 目標(biāo)分析
5.1 目標(biāo)的含義
5.1.1 目標(biāo)的詳細(xì)描述
5.1.2 DO-178C新增目標(biāo)描述
5.1.3 目標(biāo)間的關(guān)系
5.2 目標(biāo)的分布與差異
5.3 目標(biāo)和過程之間的關(guān)系
5.4 本章小結(jié)
6 DO-178B／C標(biāo)準(zhǔn)的附加考慮
6.1 先前開發(fā)的軟件
6.1.1 相關(guān)考慮
6.1.2 適航影響
6.2 使用自動化工具進(jìn)行軟件的開發(fā)和驗(yàn)證
6.2.1 工具鑒定
6.2.2 開發(fā)和驗(yàn)證工具的鑒定要求
6.2.3 工具操作需求
6.2.4 DO-178C中的工具鑒定
6.3 使用可實(shí)現(xiàn)對DO-178B替代的其他方法
6.3.1 形式化方法
6.3.2 窮舉測試
6.3.3 多版本非相似軟件
6.3.4 服務(wù)歷史記錄
6.4 本章小結(jié)
7 DO-178B／C標(biāo)準(zhǔn)的應(yīng)用
7.1 應(yīng)用準(zhǔn)則
7.1.1 系統(tǒng)和軟件研制單位的研制準(zhǔn)則
7.1.2 取證試驗(yàn)
7.1.3 整機(jī)研制單位的研制準(zhǔn)則
7.1.4 審查部門的審定方式
7.2 對標(biāo)準(zhǔn)的偏離
7.2.1 軟件級別的確定
7.2.2 非激活代碼
7.2.3 驗(yàn)證試驗(yàn)前軟件成熟度
7.2.4 單一需求級別
7.2.5 商用貨架成品軟件
7.2.6 參數(shù)化數(shù)據(jù)項
7.2.7 面向?qū)ο蠹夹g(shù)
7.2.8 基于模型的研制和驗(yàn)證
7.3 本章小結(jié)
8 DO-178B標(biāo)準(zhǔn)與相關(guān)工業(yè)標(biāo)準(zhǔn)關(guān)系分析
8.1 ARP 4754（關(guān)于高度綜合或復(fù)雜飛機(jī)系統(tǒng)的合格審定考慮）
8.1.1 標(biāo)準(zhǔn)簡介
8.1.2 與DO-178B的關(guān)系
8.2 ARP 4761（民用機(jī)載系統(tǒng)和設(shè)備安全性評估過程的指南和方法）
8.2.1 標(biāo)準(zhǔn)簡介
8.2.2 與D0-178B的關(guān)系
8.3 DO-254（機(jī)載電子硬件的設(shè)計保證指南）
8.3.1 標(biāo)準(zhǔn)簡介
8.3.2 與DO-178B的關(guān)系
8.4 DO-248B／C（D0178的FAQ）
8.4.1 標(biāo)準(zhǔn)簡介
8.4.2 與D0-178B／C的關(guān)系
8.5 D0-278（地面和空中交通管制軟件標(biāo)準(zhǔn)）
8.5.1 標(biāo)準(zhǔn)簡介
8.5.2 與DO-178B的關(guān)系
8.6 DO-330（工具鑒定）
8.6.1 標(biāo)準(zhǔn)簡介
8.6.2 與DO-178B的關(guān)系
8.7 本章小結(jié)
9 DO-178B標(biāo)準(zhǔn)與相關(guān)軟件標(biāo)準(zhǔn)比較分析
9.1 與GJB 5000A-2008對比分析
9.1.1 標(biāo)準(zhǔn)簡介
9.1.2 與DO-178B的比較
9.2 與IEC 61508-3對比分析
9.2.1 標(biāo)準(zhǔn)簡介
9.2.2 與DO-178B的比較
9.3 與EN 50128對比分析
9.3.1 標(biāo)準(zhǔn)簡介
9.3.2 與DO-178B的比較
9.4 與IEEE-EIA 12207.0對比分析
9.4.1 標(biāo)準(zhǔn)簡介
9.4.2 與DO-178B的比較
9.5 與ESA PSS-05-0對比分析
9.5.1 標(biāo)準(zhǔn)簡介
9.5.2 與DO-178B的比較
9.6 與FDA指南對比分析
9.6.1 標(biāo)準(zhǔn)簡介
9.6.2 與D0-178B的比較
9.7 本章小結(jié)
10 總結(jié)與展望
附錄A DO-178C及其補(bǔ)充文件的目標(biāo)矩陣表
A-1 Do-178C目標(biāo)矩陣表
A-2 D0-331目標(biāo)矩陣表
A-3 DO-332目標(biāo)矩陣表
A-4 DO-333目標(biāo)矩陣表
附錄B 軟件審定計劃案例
參考文獻(xiàn)
縮略語
索引