01
适航认证概述
适航定义与目的 · 国际适航体系 (FAA/EASA/CAAC) · 飞控软件适航特殊性
基础体系
02
DO-178C标准总览
历史沿革 · 与DO-254/DO-331关系 · 软件等级A/B/C/D/E划分
标准等级
03
系统与软件关联
系统需求→软件需求分配 · SSA · FHA与软件等级关系
安全分配
04
软件生命周期过程
三大过程(计划/开发/综合) · V模型/敏捷 · 过程目标与输出
过程V模型
05
软件计划过程
PSAC · SDP · SVP · SCMP · SQAP
计划文档
06
软件开发过程 (需求)
需求标准 · 捕获方法 · 可追溯性 · 高层/低层需求区别
需求追溯
07
软件开发过程 (设计)
架构设计(划分/接口/资源) · 低层需求与设计描述 · 安全约束
架构安全
08
软件开发过程 (编码)
MISRA-C/JSF++ · 代码复杂度 · 安全关键编码原则
编码MISRA
09
软件验证过程 (评审)
需求/设计/代码评审 · 检查单与记录 · 独立性要求
评审验证
10
软件验证过程 (分析)
控制流/数据流/信息流分析 · 栈分析 · WCET分析
分析WCET
11
软件验证过程 (测试-基础)
测试策略与级别 · 基于需求的测试 · 覆盖度分析
测试覆盖
12
软件验证过程 (测试-结构覆盖)
语句/分支/MC/DC覆盖 · 结构覆盖分析与工具
MC/DC结构
13
软件验证过程 (测试-鲁棒性)
鲁棒性测试 · 异常输入 · 边界值 · 资源耗尽测试
鲁棒性边界
14
软件配置管理
配置标识 · 基线管理 · 变更控制 · 版本/审计 · 工具鉴定
配置基线
15
软件质量保证
SQA目标与活动 · 过程符合性 · 产品审计 · 不符合项处理
质量审计
16
工具鉴定
TQL-1~5 · 鉴定方法 · 鉴定包 · 常用工具(测试/分析/代码生成)
工具TQL
17
软件生命周期环境
开发/目标环境差异 · 编译器鉴定 · 链接器/加载器 · HW/SW集成
环境编译器
18
参数数据项 (SDI)
参数定义 · 配置管理 · 验证方法 · 参数与代码分离
参数SDI
19
软件航空电子系统架构
IMA架构 · ARINC 653分区 · 多核挑战 · 时间/空间隔离
IMA分区
20
基于模型的开发 (MBD) 与DO-331
模型化流程 · 模型验证 · 代码自动生成 · 模型覆盖率
MBDDO-331
21
对象代码验证
反汇编/反编译 · 对象→源码追溯 · 编译器优化影响
对象代码追溯
22
软件生命周期数据
数据分类(计划/标准/数据集) · CC1/CC2 · 保存与检索
数据CC1/CC2
23
符合性声明与SOI评审
SOI-1~4 · 符合性矩阵 · 问题报告 · 最终合格审定
SOI审定
24
飞控软件的特殊要求
实时性 · 确定性 · 冗余管理(三/四余度) · 表决与监控
飞控冗余
25
安全关键算法验证
滤波/控制律/导航算法 · FDI算法验证
算法FDI
26
DO-178C与敏捷开发
敏捷适用性 · 迭代开发与文档 · 持续集成/验证
敏捷CI
27
商用货架产品 (COTS) 的使用
COTS评估 · 服务历史 · 鉴定方法 · 升级管理
COTS鉴定
28
无人机与eVTOL的适航挑战
ASTM F3269 · eVTOL特殊考虑 · 远程/自主飞行
无人机eVTOL
29
案例研究：飞控软件认证实践
某型飞控认证案例 · 常见问题 · 经验教训与最佳实践
案例实践
30
未来趋势与总结
AI/ML挑战(DO-178C/DO-326A) · 持续适航 · 课程总结与资源
趋势AI/ML