所属分类：航空航天无人机 当前为单品课程，可返回上一级继续浏览同方向资料。
← 返回上一级
← 返回所属目录 咨询 / 购买

DO-178C航空电子软件认证标准深度解析

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导入
DO-178C的起源 · 发展历程 · 在航空软件适航认证中的地位与作用
课程导入DO-178C
02
适航与软件认证基础
适航概念 · 民航规章体系（如FAR/CS-25） · 软件等级（DAL A-E）的定义与确…
适航软件认证基础
03
DO-178C核心术语与体系结构
系统 · 软件生命周期 · 过程目标
DO-178C核心术语
04
软件生命周期模型
瀑布 · 增量 · 迭代
软件生命周期模型瀑布
05
系统与软件需求过程
系统需求到软件需求的分配 · 需求类型（功能 · 性能
系统软件需求过程
06
软件计划过程
软件计划（PSAC） · 软件开发计划（SDP） · 软件验证计划（SVP）
软件计划过程PSAC
07
软件开发过程——需求设计
高层需求（HLR）与低层需求（LLR… · 架构设计方法 · 数据流与控制流分析
软件开发过程需求设计
08
软件开发过程——编码实现
编码标准 · 代码风格 · 编程语言选择（如C
软件开发过程编码实现
09
软件验证过程——评审与分析
需求评审 · 设计评审 · 代码评审
软件验证过程评审
10
软件验证过程——测试
测试级别（单元 · 集成 · 系统）
软件验证过程测试
11
结构覆盖分析
语句覆盖 · 判定覆盖 · 条件覆盖
结构覆盖分析语句覆盖
12
软件配置管理
配置标识 · 基线管理 · 变更控制
软件配置管理配置标识
13
软件质量保证
质量保证计划 · 过程审计 · 产品审计
软件质量保证质量保证计划
14
DO-178C与DO-178B的差异
新增的基于模型的开发 · 形式方法 · 工具鉴定
DO-178CDO-178B
15
工具鉴定
工具分类（开发工具 · 验证工具） · 工具鉴定等级（TQL）
工具鉴定工具分类
16
基于模型的开发与DO-178C
模型化设计 · 模型验证 · 代码自动生成
DO-178C基于模型的开发
17
形式方法在DO-178C中的应用
形式化规格 · 形式化验证 · 定理证明
DO-178C形式方法
18
参数数据项与配置
参数数据项（PDI）的定义 · 管理 · 验证
参数数据项配置
19
商用现货（COTS）软件与DO-178C
COTS软件的使用 · 认证考量 · 服务历史
COTSDO-178C
20
软件复用与DO-178C
复用软件的生命周期数据 · 复用评估 · 修改影响分析
DO-178C软件复用
21
案例实战——小型飞行控制软件认证
从需求到验证的完整过程 · 包括计划 · 开发
案例实战小型飞行控制软件…
22
案例实战——航电显示系统软件认证
多等级软件（A/B/C）混合开发 · 需求追溯矩阵 · MC/DC覆盖实施
案例实战航电显示系统软件…
23
案例实战——自动驾驶系统软件认证
基于模型的开发 · 自动代码生成 · 形式方法验证
案例实战自动驾驶系统软件…
24
常见问题与误区
需求不完整 · 覆盖分析不足 · 文档与代码不一致
常见问题误区
25
DO-178C与安全标准（如ARP4754A、ARP4761）的集成
系统安全性评估 · 功能危险分析（FHA） · 故障树分析（FTA）
DO-178CARP4754A
26
DO-178C与网络安全（如DO-326A、ED-202A）的协同
网络安全威胁 · 安全与安保的平衡 · 软件安全需求与安全需求的一致性
DO-178CDO-326A
27
适航审定过程与DO-178C
审定计划 · 符合性方法 · 审定联络
DO-178C适航审定过程
28
DO-178C的行业应用与扩展
在无人机 · 城市空中交通（UAM） · 汽车电子（ISO 26262对比）等…
DO-178C的行业应用
29
综合提升——构建完整的认证证据包
如何组织软件生命周期数据 · 生成符合性矩阵 · 准备适航审查演示
综合提升构建完整的认证证…
30
课程总结与未来展望
DO-178C的关键要点回顾 · 常见认证失败原因 · 未来标准演进（如DO-178D）趋势
课程总结未来展望