VIP15
本课程属于：008-机载数据总线与确定性网络 航空航天_卫星与无人系统工程 · 共 15 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

机载确定性网络系统级验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与机载确定性网络验证全景
目标=明确机载确定性网络的定义 · 时间敏感网络与航空电子全双工交换以太… · 系统级验证的目标
课程导入机载确定性网络验…
02
机载确定性网络系统组成与验证对象建模
目标=梳理端系统 · 交换机 · 链路
机载确定性网络系…验证对象建模
03
确定性网络关键机制与可验证特征提取
目标=分析时间同步 · 时间感知调度 · 流量整形
确定性网络关键机…可验证特征提取
04
机载网络系统级验证需求捕获与追踪
目标=从飞机级功能 · 系统级安全需求 · 网络配置规范中捕获验证需求
机载网络系统级验…追踪
05
验证计划与验证环境总体设计
目标=制定验证策略 · 选择仿真 · 半实物
验证计划验证环境总体设计
06
机载确定性网络流量场景与工作负载建模
目标=构建周期流量 · 事件流量 · 突发流量
机载确定性网络流…工作负载建模
07
时间同步系统级验证
目标=验证主从时钟同步 · 边界时钟级联 · 冗余时钟切换
时间同步系统级验…目标=验证主从时…
08
时间感知调度与门控列表验证
目标=验证门控列表配置正确性 · 调度周期一致性 · 时间窗口对齐
时间感知调度门控列表验证
09
流量整形与优先级管理验证
目标=验证信用整形 · 令牌桶整形 · 严格优先级
流量整形优先级管理验证
10
帧抢占机制系统级验证
目标=验证快速帧与可抢占帧的识别 · 抢占与重组过程 · 对时延和抖动的影响
帧抢占机制系统级…目标=验证快速帧
11
冗余传输与无缝冗余验证
目标=验证帧复制与消除 · 冗余路径选择 · 链路故障切换
冗余传输无缝冗余验证
12
网络配置与静态路由验证
目标=验证虚拟局域网 · 多播 · 静态路由
网络配置静态路由验证
13
端到端时延与抖动边界验证
目标=设计最坏情况时延测量方法 · 验证确定性时延上界 · 抖动范围
端到端时延抖动边界验证
14
丢包、误码与帧完整性验证
目标=注入误码 · 帧损坏 · 长度异常和校验错误
丢包误码
15
带宽与吞吐量系统级验证
目标=测量有效带宽 · 吞吐量 · 链路利用率与拥塞点
带宽吞吐量系统级验证
16
故障注入与鲁棒性验证
目标=设计链路断开 · 交换机端口失效 · 时钟源丢失
故障注入鲁棒性验证
17
网络启动、重构与恢复过程验证
目标=验证系统上电初始化 · 配置加载 · 时间同步建立
网络启动重构
18
混合关键流量隔离与互影响验证
目标=验证不同安全等级 · 不同关键性流量之间的时间隔离 · 空间隔离与带宽隔离
混合关键流量隔离互影响验证
19
机载网络与航电系统联合验证
目标=将网络验证与飞行控制 · 显示 · 发动机监控等航电功能联合
机载网络航电系统联合验证
20
验证数据采集、监测与时间戳精度保障
目标=设计无侵入或低侵入监测方案 · 验证时间戳精度 · 数据完整性
验证数据采集监测
21
测试用例设计与自动化执行
目标=基于需求 · 场景和故障模型设计测试用例 · 实现脚本化激励
测试用例设计自动化执行
22
覆盖度分析与验证充分性评估
目标=定义需求覆盖 · 代码覆盖 · 场景覆盖
覆盖度分析验证充分性评估
23
验证结果分析与问题定位
目标=建立时延 · 抖动 · 丢包
验证结果分析问题定位
24
适航符合性验证方法与证据生成
目标=对照航空适航标准与安全要求 · 规划符合性验证活动 · 生成验证计划
适航符合性验证方…证据生成
25
形式化建模与确定性网络验证辅助
目标=介绍时间自动机 · 模型检验 · 网络演算等形式化方法
形式化建模确定性网络验证辅…
26
仿真与半实物联合验证实践
目标=搭建网络仿真 · 硬件在环和半实物测试平台 · 开展时间同步
仿真半实物联合验证实…
27
典型机载确定性网络验证案例剖析
目标=选取真实或典型机载网络架构 · 完整剖析验证需求 · 环境搭建
典型机载确定性网…目标=选取真实或…
28
多交换机级联与大规模网络验证
目标=验证多跳级联下的时间同步累积误… · 调度级联偏差 · 冗余路径复杂性和配置一致性
多交换机级联大规模网络验证
29
验证工具链与平台集成
目标=集成流量生成 · 网络监测 · 故障注入
验证工具链平台集成
30
课程总结与系统级验证能力提升
目标=回顾机载确定性网络系统级验证的… · 工程实践与适航要求 · 形成从需求到证据的完整验证能力
课程总结系统级验证能力提…