本书以民用航空机载软件适航标准制定者的视角，详细介绍了如何基于目前最新版的DO-178C标准进行安全关键软件的开发与管理，给出了如何获得成功审定的实用指南。主要内容包括：在系统与安全大视野中的软件，DO-178C标准的深入解读和推荐实践，4个标准技术补充（软件工具鉴定、基于模型的开发、面向对象技术和形式化方法）的讲解说明，以及10个相关特别专题（未覆盖代码、外场可加载软件、用户可修改软件、实时操作系统、配置数据、软件复用和逆向工程等）的指导建议。 本书重点面向的读者是安全关键领域（例如航空、航天和军事等）的软件开发、管理和审定人员。本书同时能够为各领域（基于DO-178C和CMMI等标准）开展软件过程管理和质量保证的组织和个人，尤其是负责建立组织的软件过程体系和改进方法以及从事软件过程能力评价的专业人员，提供具体有效的帮助。

第一部分 引言
第1章 引言和概览
1.1 安全关键软件的定义
1.2 安全性问题的重要性
1.3 本书目的和重要提示
1.4 本书概览
第二部分 安全关键软件开发的语境
第2章 系统语境中的软件
2.1 系统开发概览
2.2 系统需求
2.2.1 系统需求的重要性
2.2.2 系统需求的类型
2.2.3 良好的需求的特性
2.2.4 系统需求考虑
2.2.5 需求假设
2.2.6 分配到软/硬件项
2.3 系统需求确认与验证
2.3.1 需求确认
2.3.2 实现验证
2.3.3 确认与验证建议
2.4 系统工程师最佳实践
2.5 软件与系统的关系
第3章 系统安全性评估语境中的软件
3.1 航空器与系统安全性评估过程概览
3.1.1 安全性工作计划
3.1.2 功能危险评估
3.1.3 系统功能危险评估
3.1.4 初步航空器安全性评估
3.1.5 初步系统安全性评估
3.1.6 共因分析
3.1.7 航空器安全性评估和系统安全性评估
3.2 开发保证
3.2.1 开发保证等级
3.3 软件如何置于安全性过程
3.3.1 软件的独特性
3.3.2 软件开发保证
3.3.3 其他观点
3.3.4 在系统安全性过程关注软件的建议
第三部分 使用DO-178C开发安全关键软件
第4章 DO-178C及支持文件概览
4.1 DO-178历史
4.2 DO-178C和DO-278A核心文件
4.2.1 DO-278A与DO-178C的不同
4.2.2 DO-178C附件A的目标表概览
4.3 DO-330：软件工具鉴定考虑
4.4 DO-178C技术补充
4.4.1 DO-331：基于模型的开发补充
4.4.2 DO-332：面向对象技术补充
4.4.3 DO-333：形式化方法补充
4.5 DO-248C：支持材料
第5章 软件策划
5.1 引言
5.2 一般策划建议
5.3 5个软件计划
5.3.1 软件合格审定计划
5.3.2 软件开发计划
5.3.3 软件验证计划
5.3.4 软件配置管理计划
……
第6章 软件需求
第7章 软件设计
第8章 软件实现：编码与集成
第9章 软件验证
第10章 软件配置管理
第11章 软件质量保证
第12章 合格审定联络
第四部分 工具鉴定和DO-178C补充
第13章 DO-330和软件工具鉴定
第14章 DO-331和基于模型的开发与验证
第15章 DO-332和面向对象技术及相关技术
第16章 DO-333和形式化方法
第五部分 特别专题
第17章 未覆盖代码（无关代码、死代码和非激活代码）
第18章 外场可加载软件
第19章 用户可修改软件
第20章 实时操作系统
第21章 软件分区
第22章 配置数据
第23章 航空数据
第24章 软件复用
第25章 逆向工程
第26章 外包和离岸外包软件生命周期活动
附录A 活动转换准则举例
附录B 实时操作系统关注点
附录C 为安全关键系统选择实时操作系统时考虑的问题
附录D 软件服役历史问题
缩略语
参考文献
推荐读物