01
课程导论与认证全景
DO-178C的起源、发展历程、与DO-178B的核心差异，以及它在机载软件安全认证中的江湖地位。
全景背景
02
核心概念与术语解析
彻底搞懂‘目标(Objectives)‘、‘活动(Activities)‘、‘数据(Data)‘、‘等级(Level)‘这些让你头疼的基础概念。
术语基础
03
软件等级与失效条件
如何根据飞机级功能危害评估（FHA）确定软件等级（A/B/C/D/E），以及不同等级对需求分析的要求差异。
等级FHA
04
需求分析过程概览
需求分析在整个DO-178C开发流程中的位置，以及它与设计、编码、验证过程的输入输出关系。
流程概览
05
高层需求（HLR）的定义与捕获
什么是高层需求？如何从系统需求中提取并定义软件的高层需求？
HLR捕获
06
低层需求（LLR）的细化与推导
如何将高层需求分解为可实现的低层需求？低层需求的粒度控制与设计约束。
LLR细化
07
需求的标准与属性
好的需求应该长什么样？聊聊需求的唯一性、原子性、可验证性、一致性等关键属性。
标准属性
08
需求分析的方法与技术
形式化方法、结构化分析、基于模型的需求工程，这些高大上的技术到底怎么落地？
方法技术
09
需求评审与走查
如何组织一场高效的同行评审？评审检查单应该包含哪些核心条目？
评审走查
10
需求与源代码的可追溯性
建立从低层需求到源代码的‘双向追溯‘，确保每一行代码都有‘户口‘。
追溯代码
11
需求与测试用例的可追溯性
如何证明你的测试覆盖了所有需求？需求-测试矩阵的构建与管理。
测试矩阵
12
可追溯性矩阵（TRM）的构建
手把手教你搭建一个完整的、可审计的需求追溯矩阵。
TRM矩阵
13
工具的分类与鉴定
需求管理工具（如DOORS、Reqtify）在DO-178C下的鉴定要求与使用策略。
工具鉴定
14
数据耦合与控制耦合分析
需求层面的耦合分析怎么做？如何识别和控制模块间的依赖关系？
耦合分析
15
基于需求的覆盖分析
需求覆盖、代码覆盖、MC/DC覆盖，这些覆盖指标在需求分析阶段如何规划？
覆盖MC/DC
16
需求变更管理
在认证项目中，如何优雅地处理需求的变更？变更影响的追溯与分析。
变更追溯
17
需求与系统安全的关联
将ARP4754A的系统安全评估过程与DO-178C的需求分析过程打通。
安全ARP4754A
18
需求分析中的常见陷阱
结合真实案例，聊聊那些年我们在需求分析中踩过的坑。
陷阱案例
19
A级软件的特殊要求
对于最严苛的A级软件，需求分析有哪些额外的‘紧箍咒‘？
A级严苛
20
需求分析阶段的计划文档
如何编写一份合格的‘软件需求计划（PSAC）‘和‘软件开发计划（SDP）‘中的需求相关章节。
PSACSDP
21
需求分析阶段的标准文档
如何编写‘软件需求数据（SRD）‘和‘软件需求标准（SRS）‘？
SRDSRS
22
需求分析阶段的验证文档
如何编写‘软件验证用例与规程（SVCP）‘中的需求验证部分？
SVCP验证
23
需求分析阶段的总结文档
如何编写‘软件验证结果（SVR）‘中的需求追溯与覆盖总结？
SVR总结
24
基于模型的需求分析（MBRE）
SysML/UML在DO-178C需求分析中的应用，以及模型的验证与确认。
MBRESysML
25
需求分析中的形式化方法
什么时候需要用形式化方法？SCADE、Simulink等工具链下的需求形式化表达。
形式化SCADE
26
需求复用与产品线工程
在多个项目或产品线中，如何安全地复用需求并满足认证要求？
复用产品线
27
供应商管理中的需求分析
当你的软件包含第三方或开源组件时，如何确保其需求分析满足DO-178C要求？
供应商开源
28
局方审查与沟通技巧
面对局方（如CAAC、FAA、EASA）审查员，如何自信地展示你的需求分析与追溯证据？
局方审查
29
案例实战：飞行控制软件需求分析
以一个真实的飞控软件为例，完整走一遍从系统需求到低层需求的分解与追溯流程。
实战飞控
30
课程总结与认证冲刺
梳理核心知识体系，提供备考建议与项目启动检查清单。
总结冲刺