航空装备软件安全性技术

　　作为当前为数不多的航空装备软件安全性方面的专著，本书从航空装备分类、软件安全性及故障模式等基本概念入手，详细阐述了航空装备软件安全性需求分析、设计、测试、验证等技术与实施过程，给出了典型航空装备软件（例如飞行控制系统软件、综合航电系统软件等）故障模式、影响分析技术与实施过程，并给出了典型航空装备软件安全性技术实际工程应用案例，为最终实现针对航空装备软件安全性分析、设计、测试与验证，以及故障模式及其影响分析提供规范有效的技术解决方案。本书的读者对象主要定位于航空装备研制领域的专业技术人员，以及高等院校计算机、软件工程、嵌入式系统及相关专业的本科生及研究生，也可为从事军（民）领域系统开发、验证及维护领域的专业技术人员能力提升提供参考。

暂缺《航空装备软件安全性技术》作者简介

第l章 航空装备与装备安全
1.1 航空装备系统概述
1.1.1 航空装备系统分类
1.1.2 航空装备系统特点分析
1.1.3 航空装备系统软件概述
1.2 航空装备质量与安全概述
1.2.1 航空装备质量
1.2.2 系统安全性与软件安全性
1.2.3 航空装备软件安全等级划分
1.2.4 航空装备软件安全性工作目标
第2章 软件安全性概述
2.1 软件安全性基础概念
2.1.1 软件安全性基本概念
2.1.2 软件安全性与软件可靠性
2.1.3 软件安全性标准与型号规范
2.1.4 典型航空装备软件安全性工程实践和事故案例
2.2 软件安全性工作过程框架
第3章 航空装备软件安全性技术
3.1 软件系统危险分析
3.1.1 系统功能危险分析(FHA)
3.1.2 系统故障树分析(FTA)
3.2 软件安全性需求分析
3.2.1 软件安全性需求模型构建
3.2.2 模型与数据驱动的软件安全性需求分析
3.2.3 基于形式化方法的软件安全性需求分析
3.3 软件安全性设计
3.3.1 开展时机与输入输出
3.3.2 软件安全性设计准则
3.3.3 基于准则的软件安全性设计符合性分析
3.4 软件安全性编码
3.4.1 开展时机与输入输出
3.4.2 软件安全性编码准则
3.4.3 基于准则的软件安全性编码符合性分析
3.5 软件安全性测试
3.5.1 开展时机与输入输出
3.5.2 软件安全性测试过程
3.5.3 软件安全性测试需求分析
3.5.4 基于故障模式的软件安全性测试用例设计
3.5.5 软件安全性测试执行与环境要求
3.5.6 软件安全性测试数据记录
3.6 软件安全性评审
3.6.1 系统危险分析评审
3.6.2 软件故障模式分析评审
3.6.3 软件安全性需求获取评审
第4章 航空装备软件故障模式及其影响分析
4.1 开展时机与输入输出
4.2 软件故障模式及其影响分析过程
4.2.1 软件故障模式分析准则制定
4.2.2 软件故障原因分析
4.2.3 软件故障模式及其影响分析
4.2.4 软件安全性需求制定
4.2.5 形成软件故障模式分析数据记录
第5章 典型航空装备软件故障模式
5.1 航空装备软件故障模式概述
5.1.1 航空装备软件故障机理分析
5.1.2 航空装备软件故障模式分析模型
5.2 航空装备软件故障模式获取
5.2.1 输入接口故障模式获取
5.2.2 功能逻辑故障模式获取
5.2.3 功能层次故障模式获取
5.2.4 状态方式故障模式获取
5.2.5 输出接口故障模式获取
5.3 航空装备软件通用故障模式记录与描述
5.3.1 通用故障模式规范化记录
5.3.2 通用故障模式形式化描述
第6章 软件安全性工具介绍
6.1 国内安全性工具
6.1.1 软件安全性分析与验证工具(Castle Safetv)
6.1.2 基于适航标准的软件故障案例知识平台(castle D0178)
6.1.3 软件通用故障模式数据库(Castle Data)
6.2 国外安全性工具
6.2.1 Simfia
6.2.2 SpedTRM
第7章 航空装备软件安全性技术工程应用
7.1 典型航空装备软件介绍
7.2 典型航空装备软件安全性工程实例
7.2.1 系统功能危险分析示例
7.2.2 系统故障树分析示例
7.2.3 软件安全性需求模型构建示例
7.2.4 模型与数据驱动的软件安全性需求分析示例
7.2.5 软件安全性设计准则示例
7.2.6 软件安全性编码准则示例
7.2.7 软件安全性测试验证示例
附录典型航空装备软件故障模式