嵌入式航电系统安全关键设计 · 课程目录

01

航电系统安全基础

安全关键系统定义 · DO-178C概述 · 系统安全性与可靠性概念

02

系统开发流程

V模型开发流程 · 需求捕获与管理 · 系统架构设计原则

03

软件需求工程

高层需求与低层需求 · 需求可追溯性 · 需求验证方法

04

软件架构设计

分区与隔离 · 时间与空间分区 · ARINC 653标准简介

05

详细设计与编码

编码标准（MISRA-C）· 静态分析工具 · 代码审查流程

06

软件验证与确认

测试级别（单元/集成/系统）· MC/DC覆盖率 · 测试用例设计

07

硬件与软件集成

硬件/软件接口文档 · 集成测试策略 · 目标机调试

08

安全案例与认证

安全案例结构 · 符合性矩阵 · 认证机构沟通

09

实时操作系统基础

RTOS调度策略 · 任务管理与同步 · 中断管理

10

通信与网络

航电全双工以太网（AFDX）· CAN总线 · 时间触发协议（TTEthernet）

11

故障容错设计

冗余架构（双余度/三余度）· 故障检测与恢复 · 看门狗机制

12

系统安全分析

故障树分析（FTA）· FMEA · 危险源识别

13

软件安全等级

设计保证等级（DAL A-E）· 等级分配方法 · 开发保证措施

14

版本控制策略 · 变更管理流程 · 构建与发布管理

15

软件质量保证计划 · 过程审计 · 产品审计

16

工具分类（开发/验证）· 工具鉴定流程 · 工具资格

17

参数数据与配置

参数数据管理 · 数据加载与验证 · 配置表设计

18

多核处理器应用

多核架构挑战 · 锁步与对称多处理 · 缓存一致性

19

形式化方法

形式化验证基础 · 模型检查 · 定理证明在航电中的应用

20

系统集成实验室

硬件在环测试 · 仿真环境搭建 · 故障注入测试

21

适航与法规

EASA/FAA适航要求 · 型号合格证 · 持续适航

22

软件生命周期数据

计划文件 · 标准与指南 · 软件生命周期数据清单

23

追溯性与矩阵

需求追溯矩阵 · 验证追溯矩阵 · 覆盖分析

24

评审与审计

技术评审流程 · 正式评审 · 供应商审计

25

安全关键算法设计

表决算法 · 比较监控算法 · 健康管理算法

26

人机界面安全

驾驶舱显示系统 · 告警逻辑 · 人为因素考虑

27

网络安全基础

航电网络安全威胁 · 安全通信协议 · 入侵检测

28

系统建模与仿真

SysML建模 · Simulink仿真 · 代码自动生成

29

项目案例研究

典型航电项目（如飞控系统）全生命周期分析

30

人工智能在航电中的应用 · 分布式智能 · 适航挑战