VIP15
本课程属于：006-航空航天嵌入式软件测试与验证 航空航天_卫星与无人系统工程 · 共 15 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

航空嵌入式软件实时性验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与航空实时性验证全景
目标=航空嵌入式软件实时性定义 · 适航要求（DO-178C/DO-33… · 验证目标
课程导入航空实时性验证全…
02
航空嵌入式实时系统基础
目标=任务调度模型 · 中断机制 · 时钟与时间基准
航空嵌入式实时系…目标=任务调度模…
03
实时性需求捕获与建模
目标=从系统需求到软件实时性需求 · 时序约束表达 · 用例与场景建模
实时性需求捕获建模
04
实时性验证指标体系
目标=响应时间 · 抖动 · 截止期错过率
实时性验证指标体…目标=响应时间
05
最坏执行时间（WCET）分析基础
目标=静态分析方法 · 动态测量方法 · 混合方法
WCET最坏执行时间
06
实时调度理论与航空应用
目标=速率单调调度（RMS） · 最早截止期优先（EDF） · 时间触发调度（TTP/C）
实时调度理论航空应用
07
航空RTOS实时性验证实战
目标=以VxWorks · Integrity · PikeOS等为例
RTOS航空
08
中断与异常处理实时性验证
目标=中断延迟测量 · 嵌套中断 · 异常处理时间
异常处理实时性验…目标=
09
共享资源与优先级反转验证
目标=优先级继承 · 优先级天花板协议 · 互斥锁与信号量的实时性影响分析与测试…
共享资源优先级反转验证
10
多核与分区系统实时性验证
目标=多核干扰 · 缓存争用 · 内存带宽影响
多核分区系统实时性验…
11
实时性测试环境搭建
目标=目标板 · 仿真器 · 逻辑分析仪
实时性测试环境搭…目标=目标板
12
实时性测试用例设计
目标=基于场景 · 边界值 · 故障注入
实时性测试用例设…目标=基于场景
13
实时性动态测试执行
目标=测试脚本开发 · 自动化测试框架 · 实时数据采集
实时性动态测试执…目标=测试脚本开…
14
实时性静态验证技术
目标=时序逻辑模型检验 · 抽象解释 · 控制流分析
实时性静态验证技…目标=时序逻辑模…
15
形式化方法在实时性验证中的应用
目标=时间自动机 · UPPAAL · Petri网
形式化方法实时性验证
16
实时性仿真与建模验证
目标=Simulink/Statef… · SCADE · 实时仿真平台
实时性仿真建模验证
17
硬件在环（HIL）实时性验证
目标=HIL平台搭建 · 接口模拟 · 实时性测试场景
HIL硬件
18
航空数据总线实时性验证
目标=ARINC 429 · ARINC 664（AFDX） · CAN
航空数据总线实时…ARINC
19
航电系统综合实时性验证
目标=IMA架构下功能集成 · 时间分区 · 资源分配与端到端实时性验证案例
航电系统综合实时…IMA
20
实时性验证中的覆盖分析
目标=时序覆盖 · 路径覆盖 · MC/DC与实时性需求的关联
实时性验证覆盖分析
21
实时性缺陷分析与调试
目标=截止期错过 · 抖动超标 · 死锁
实时性缺陷分析调试
22
实时性验证工具链集成
目标=需求管理 · 测试管理 · 静态分析
实时性验证工具链…目标=需求管理
23
适航符合性中的实时性证据
目标=DO-178C目标映射 · 验证证据包 · 生命周期数据
适航符合性实时性证据
24
实时性验证项目实战（一）
目标=需求分析与测试计划——针对某飞… · 完成实时性需求分解与验证计划
实时性验证项目实…目标=需求分析
25
实时性验证项目实战（二）
目标=测试设计与环境搭建——设计测试… · 搭建目标板或HIL环境 · 配置测量工具
实时性验证项目实…目标=测试设计
26
实时性验证项目实战（三）
目标=测试执行与数据采集——执行动态… · 采集时序数据 · 记录异常与日志
实时性验证项目实…目标=测试执行
27
实时性验证项目实战（四）
目标=结果分析与缺陷报告——分析测量… · 判定符合性 · 编写缺陷报告与改进建议
实时性验证项目实…目标=结果分析
28
实时性验证项目实战（五）
目标=验证报告与适航证据整理——汇总… · 生成符合DO-178C的证据材料 · 进行同行评审
实时性验证项目实…目标=验证报告
29
实时性验证的前沿与挑战
目标=人工智能/机器学习组件实时性 · 时间敏感网络（TSN） · 多核确定性
实时性验证的前沿挑战
30
课程总结与能力评估
目标=核心知识回顾 · 实战项目复盘 · 实时性验证能力自评
课程总结能力评估