本書作者是DO-178系列標(biāo)準(zhǔn)的直接制定者之一。書中詳細(xì)介紹了如何基于最新版本的DO-178C標(biāo)準(zhǔn)進(jìn)行高安全軟件開發(fā)，既包括對標(biāo)準(zhǔn)的全面介紹，又包括依據(jù)該標(biāo)準(zhǔn)進(jìn)行開發(fā)和審定的實(shí)用指南；既包含多年從事高安全軟件研制、管理、審定工作的經(jīng)驗(yàn)，又包含相關(guān)最新軟件技術(shù)的深入講解。主要內(nèi)容有：在系統(tǒng)與安全性大視野中的軟件；DO-178C標(biāo)準(zhǔn)的具體解釋及如何有效使用；DO-178C相關(guān)的工具鑒定、基于模型的開發(fā)、面向?qū)ο蠹夹g(shù)、形式化方法；成功開發(fā)高安全軟件及審定的實(shí)用建議；以及與高安全軟件開發(fā)和驗(yàn)證相關(guān)的深入專題。
Leanna Rierson是一位面向安全關(guān)鍵系統(tǒng)的軟件、復(fù)雜電子硬件以及綜合模塊化航空電子（IMA）開發(fā)的獨(dú)立咨詢師，尤其重點(diǎn)在民用航空領(lǐng)域。她在軟件和航空工業(yè)有超過20年的經(jīng)驗(yàn)。Rierson用了9年時(shí)間作為美國聯(lián)邦航空局（FAA）的軟件和航空電子專家——其中5年是作為航空器計(jì)算機(jī)軟件的首席科技顧問。Rierson已經(jīng)出版了大量關(guān)于安全關(guān)鍵軟件、綜合模塊化航空電子以及航空方面的論文，領(lǐng)導(dǎo)了許多國家的和國際的工程團(tuán)隊(duì)和工作會(huì)議，并為FAA開發(fā)了課程、原則、手冊以及指南材料。她在編寫DO-178C和其他6份相關(guān)文件的美國航空無線電技術(shù)委員會(huì)（RTCA）專門委員會(huì)中擔(dān)任了一個(gè)子工作組的副主席和編輯小組負(fù)責(zé)人。Rierson已經(jīng)為數(shù)百名專業(yè)人員講授DO-178B，以及現(xiàn)在的DO-178C。她是一位在軟件和復(fù)雜硬件領(lǐng)域具有A級(jí)授權(quán)的FAA委任工程代表（DER）。她已經(jīng)與眾多的航空器和航空電子公司合作，包括波音（Boeing）、 賽斯納（Cessna）、里爾噴氣機(jī)（Learjet）、巴西航空工業(yè)公司（Embraer）、羅克韋爾柯林斯（Rockwell Collins）、通用電氣航空（GE Aviation）、霍尼韋爾(Honeywell)以及其他許多。她目前兼職工作于羅克韋爾柯林斯的航空電子合格審定小組。Leanna擁有羅切斯特技術(shù)學(xué)院的軟件工程碩士學(xué)位和衛(wèi)奇塔州立大學(xué)的電子工程學(xué)士學(xué)位。她還曾在歐扎克基督教學(xué)院學(xué)習(xí)，以及獲得約翰遜圣經(jīng)學(xué)院學(xué)院的碩士學(xué)位。
第一部分 引言
第1章 引言和概覽
1.1 安全關(guān)鍵軟件的定義
1.2 安全性問題的重要性
1.3 本書目的和重要提示
1.4 本書概覽
第二部分 安全關(guān)鍵軟件開發(fā)的語境
第2章 系統(tǒng)語境中的軟件
2.1 系統(tǒng)開發(fā)概覽
2.2 系統(tǒng)需求
2.3 系統(tǒng)需求確認(rèn)與驗(yàn)證
2.4 系統(tǒng)工程師最佳實(shí)踐
2.5 軟件與系統(tǒng)的關(guān)系
第3章 系統(tǒng)安全性評(píng)估語境中的軟件
3.1 航空器與系統(tǒng)安全性評(píng)估過程概覽
3.2 開發(fā)保證
3.3 軟件如何置入安全性過程
第三部分 使用DO-178C開發(fā)安全關(guān)鍵軟件
第4章 DO-178C及支持文件概覽
4.1 DO-178歷史
4.2 DO-178C和DO-278A核心文件
4.3 DO-330：軟件工具鑒定考慮
4.4 DO-178C技術(shù)補(bǔ)充
4.5 DO-248C：支持材料
第5章 軟件策劃
5.1 引言
5.2 一般策劃建議
5.3 5個(gè)軟件計(jì)劃
5.4 3個(gè)開發(fā)標(biāo)準(zhǔn)
5.5 工具鑒定計(jì)劃
5.6 其他計(jì)劃
第6章 軟件需求
……
第四部分 工具鑒定和DO-178C補(bǔ)充
第五部分 特別專題
參考文獻(xiàn)
新書資訊