作者

缪万胜、王金岩、王云明、沈备军、康介祥

内容简介

航空电子软件属于安全关键软件,其质量和安全性受到格外关注。软件工程是保证软件质量和安全性的有效方法,软件工程的核心要素包括过程、方法与工具。该书围绕航空电子软件的安全性和适航性,基于D0-178C定义的软件生命周期过程展开了软件工程过程及其直接相关的管理活动的阐述,并重点关注安全性、适航性、综合模块化航空电子(IMA)系统和基于模型的软件开发方法。

《航空电子软件开发与适航》适用于从事民用飞机航空电子软件的开发、验证、配置管理、质量保证或审定联络人员,对从事其他软件工程的相关技术人员均有很好的参考价值。

图书目录

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 健康管理
参考文献
缩略语
索引

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注