1 绪论 1
1.1 机载计算机及机载软件 1
1.1.1 机载计算机 1
1.1.2 机载软件的重要性 2
1.1.3 机载软件体系结构 3
1.2 RTCA DO-178B/C标准发展概述 4
2 相关知识概述 8
2.1 适航及民用航空器安全性 8
2.1.1 适航标准 8
2.1.2 适航管理 9
2.1.3 适航技术和符合性方法 9
2.2 机载设备的技术标准 12
2.3 机载设备的适航管理 14
2.4 相关技术发展趋势 16
2.4.1 软件安全性 16
2.4.2 软件可靠性 18
3 基本内容 20
3.1 基本理念 20
3.2 软件生命周期过程 22
3.3 失效条件和软件级别 23
3.4 目标概述 25
3.5 DO-178B标准的主要内容及章节安排 26
3.6 DO-178C标准的新变化 33
4 过程分析 38
4.1 过程的含义 38
4.1.1 软件计划过程 38
4.1.2 软件开发过程 39
4.1.3 软件综合过程 40
4.2 过程的结构 40
4.3 过程间的交互 45
4.4 本章小结 58
5 目标分析 60
5.1 目标的含义 60
5.1.1 目标的详细描述 60
5.1.2 DO-178C新增目标描述 74
5.1.3 目标间的关系 75
5.2 目标的分布与差异 78
5.3 目标和过程之间的关系 85
5.4 本章小结 86
6 DO-178B/C标准的附加考虑 91
6.1 先前开发的软件 91
6.1.1 相关考虑 91
6.1.2 适航影响 94
6.2 使用自动化工具进行软件的开发和验证 97
6.2.1 工具鉴定 97
6.2.2 开发和验证工具的鉴定要求 99
6.2.3 工具操作需求 101
6.2.4 DO-178C中的工具鉴定 101
6.3 使用可实现对DO-178B替代的其他方法 109
6.3.1 形式化方法 109
6.3.2 穷举测试 113
6.3.3 多版本非相似软件 114
6.3.4 服务历史记录 116
6.4 本章小结 116
7 DO-178B/C标准的应用 117
7.1 应用准则 118
7.1.1 系统和软件研制单位的研制准则 118
7.1.2 取证试验 123
7.1.3 整机研制单位的研制准则 123
7.1.4 审查部门的审定方式 125
7.2 对标准的偏离 129
7.2.1 软件级别的确定 129
7.2.2 非激活代码 130
7.2.3 验证试验前软件成熟度 131
7.2.4 单一需求级别 133
7.2.5 商用货架成品软件 135
7.2.6 参数化数据项 136
7.2.7 面向对象技术 137
7.2.8 基于模型的研制和验证 139
7.3 本章小结 141
8 DO-178B标准与相关工业标准关系分析 142
8.1 ARP 4754（关于高度综合或复杂飞机系统的合格审定考虑） 143
8.1.1 标准简介 143
8.1.2 与DO-178B的关系 145
8.2 ARP 4761（民用机载系统和设备安全性评估过程的指南和方法） 147
8.2.1 标准简介 147
8.2.2 与DO-178B的关系 149
8.3 DO-254（机载电子硬件的设计保证指南） 149
8.3.1 标准简介 149
8.3.2 与DO-178B的关系 152
8.4 DO-248B/C（DO178的FAQ） 154
8.4.1 标准简介 154
8.4.2 与DO-178B/C的关系 156
8.5 DO-278（地面和空中交通管制软件标准） 160
8.5.1 标准简介 160
8.5.2 与DO-178B的关系 163
8.6 DO-330（工具鉴定） 164
8.6.1 标准简介 164
8.6.2 与DO-178B的关系 166
8.7 本章小结 168
9 DO-178B标准与相关软件标准比较分析 169
9.1 与GJB 5000A-2008对比分析 169
9.1.1 标准简介 169
9.1.2 与DO-178B的比较 171
9.2 与IEC 61508-3对比分析 173
9.2.1 标准简介 173
9.2.2 与DO-178B的比较 176
9.3 与EN 50128对比分析 177
9.3.1 标准简介 177
9.3.2 与DO-178B的比较 178
9.4 与IEEE-EIA 12207.0对比分析 181
9.4.1 标准简介 181
9.4.2 与DO-178B的比较 183
9.5 与ESA PSS-05-0对比分析 184
9.5.1 标准简介 184
9.5.2 与DO-178B的比较 187
9.6 与FDA指南对比分析 189
9.6.1 标准简介 189
9.6.2 与DO-178B的比较 192
9.7 本章小结 193
10 总结与展望 194
附录A DO-178C及其补充文件的目标矩阵表 197
A-1 DO-178C目标矩阵表 197
A-2 DO-331目标矩阵表 206
A-3 DO-332目标矩阵表 208
A-4 DO-333目标矩阵表 208
附录B 软件审定计划案例 212
参考文献 216
缩略语 219
索引 224