航空装备软件安全性技术

第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 软件安全性测试验证示例
附录典型航空装备软件故障模式