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