航空电子软件开发与适航

1 绪论
1．1 航空电子软件的定义
1．1．1 航空电子系统
1．1．2 航空电子软件
1．2 航空电子软件的特点
1．2．1 嵌入式实时
1．2．2 安全性
1．2．3 适航性
1．3 航空电子软件的发展
1．3．1 航空电子系统的发展历程
1．3．2 航空电子软件的发展历程
1．3．3 航空电子软件的发展趋势
1．4 航空电子软件开发相关要求
1．4．1 ARP 4754A《航空器与系统开发指南》
1．4．2 ARP 4761《民用机载系统与设备的安全性评估过程指南与方法》
1．4．3 DO-297《综合模块化航空电子系统研制与审定指南》
1．4．4 DO-178C《机载系统和设备合格审定中的软件考虑》
1．4．5 能力成熟度模型集成（CMMI）
1．4．6 DO-178C与能力成熟度模型集成（CMMI）的差异
1．5 本书概览
2 软件开发模型、方法和计划
2．1 软件生命周期模型
2．1．1 瀑布模型和V模型
2．1．2 迭代模型和敏捷过程
2．2 软件开发方法
2．2．1 结构化方法
2．2．2 面向对象方法和DO-332
2．2．3 形式化方法和DO-333
2．2．4 基于模型的方法和DO-331
2．2．5 软件产品线工程方法
2．3 软件计划
2．3．1 软件合格审定计划
2．3．2 软件开发计划
2．3．3 软件验证计划
2．3．4 软件配置管理计划
2．3．5 软件质量保证计划
3 软件需求
3．1 概述
3．1．1 系统需求和软件需求
3．1．2 需求层级
3．1．3 软件需求类型
3．1．4 软件需求过程
3．2 软件需求获取
3．3 软件需求分析建模
3．3．1 建立软件需求标准
3．3．2 选择需求分析建模方法
3．3．3 基于用例的分析建模方法
3．3．4 结构化分析建模方法
3．3．5 软件安全性需求分析
3．3．6 需求优先级划分
3．4 软件需求编写
3．4．1 需求编写的要求
3．4．2 功能需求的编写
……
4 软件设计
5 软件实现
6 软件验证
7 软件配置管理
8 软件质量保证
9 软件合格审定
10 工具鉴定
11 实时操作系统与分区
12 健康管理
参考文献
缩略语
索引