01
飞控安全概述
功能安全基本概念 · 飞控系统安全等级 · 安全生命周期模型
基础等级
02
危害识别方法
HAZOP分析 · FMEA方法 · FTA故障树分析
分析故障树
03
风险评估矩阵
严重度等级 · 发生概率等级 · 风险可接受准则
矩阵准则
04
安全目标定义
ASIL等级确定 · 安全状态定义 · 安全机制设计
ASIL目标
05
系统架构安全设计
冗余架构设计 · 故障容错机制 · 看门狗与监控
冗余容错
06
软件安全需求
安全需求规格 · 安全关键功能识别 · 安全架构设计
需求架构
07
硬件安全设计
硬件随机失效 · 系统化失效 · 硬件安全机制
硬件失效
08
安全验证与确认
测试策略 · 覆盖度分析 · 回归测试
验证测试
09
安全案例编写
安全论据结构 · 证据链构建 · 评审流程
案例评审
10
工具鉴定与认证
工具分类 · 鉴定方法 · 认证标准
工具认证
11
配置管理
版本控制 · 变更管理 · 基线管理
配置基线
12
安全评审技术
设计评审 · 代码评审 · 测试评审
评审质量
13
故障注入测试
故障模型 · 注入方法 · 结果分析
注入测试
14
安全通信协议
CAN安全 · ARINC 429 · AFDX安全机制
通信协议
15
传感器冗余管理
IMU冗余 · GPS/INS融合 · 表决算法
传感器冗余
16
执行器安全控制
伺服监控 · 力纷争检测 · 安全回退
执行器回退
17
飞行包线保护
速度保护 · 姿态保护 · 过载保护
包线保护
18
应急处理逻辑
故障检测与隔离 · 重构策略 · 安全着陆
应急重构
19
适航标准解读
DO-178C · DO-254 · ARP4754A
适航标准
20
功能安全与信息安全
安全与安保的冲突与协同
协同安保
21
系统级安全分析
STPA方法 · 系统理论事故模型
STPA系统
22
软件安全架构模式
健康监控 · 保护性响应 · 安全状态机
架构状态机
23
硬件安全架构模式
双通道比较 · 三模冗余 · 自测试
TMR比较
24
安全关键实时操作系统
RTOS安全特性 · 分区调度 · 时间隔离
RTOS分区
25
安全需求追溯性管理
需求链 · 覆盖矩阵 · 工具链
追溯矩阵
26
安全案例自动化
形式化方法 · 模型检查 · 自动推理
自动化形式化
27
无人机特定安全
地理围栏 · 链路丢失 · 自主决策
无人机地理围栏
28
eVTOL安全考量
分布式推进 · 高电压安全 · 城市运行
eVTOL高压
29
安全文化与管理
组织安全文化 · 安全计划 · 持续改进
文化管理
30
未来趋势
AI安全 · 机器学习验证 · 自适应系统安全
AI自适应