VIP12
本课程属于：030-星载FPGA与异构实时计算 航空航天_卫星与无人系统工程 · 共 12 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

星载FPGA故障注入与容错验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与星载FPGA可靠性挑战
目标=空间辐射环境 · 单粒子效应 · 总剂量效应
FPGA课程导入
02
星载FPGA故障模式与失效机理
目标=SEU · SET · SEFI
FPGA星载
03
故障注入技术全景与验证目标
目标=物理注入 · 仿真注入 · 硬件注入
故障注入技术全景验证目标
04
故障注入平台总体架构设计
目标=被测FPGA · 注入控制器 · 监测采集
故障注入平台总体…FPGA
05
基于仿真平台的故障注入
目标=RTL故障注入 · 门级网表注入 · SDF时序反标
基于仿真平台的故…RTL
06
基于FPGA原型的硬件故障注入
目标=动态部分重配置 · 配置位翻转注入 · 内部信号强制
FPGA基于
07
辐射源故障注入实验方法
目标=重离子 · 质子 · 激光
辐射源故障注入实…目标=重离子
08
故障注入控制器设计
目标=注入触发机制 · 故障位置与时间控制 · 多故障注入
故障注入控制器设…目标=注入触发机…
09
故障注入激励与响应监测
目标=测试向量生成 · 断言检查 · 黄金参考模型
故障注入激励响应监测
10
故障注入自动化与脚本化
目标=Python/Tcl自动化流程 · 批量注入 · 结果数据库
故障注入自动化脚本化
11
容错设计基础
目标=三模冗余 · 双模冗余 · 纠错码
容错设计基础目标=三模冗余
12
星载FPGA配置存储器容错
目标=配置刷新 · 配置擦洗 · CRC校验
FPGA星载
13
用户逻辑容错设计
目标=TMR · DMR · 时间冗余
用户逻辑容错设计TMR
14
存储器与接口容错
目标=EDAC · 汉明码 · RS码
存储器接口容错
15
时钟与复位容错
目标=时钟网络加固 · 复位策略 · 毛刺过滤
时钟复位容错
16
故障注入与容错验证的测试用例设计
目标=功能覆盖 · 故障覆盖 · 场景覆盖
故障注入容错验证的测试用…
17
故障注入结果分析与评估
目标=错误率 · 失效率 · 恢复时间
故障注入结果分析评估
18
单粒子翻转注入实验案例
目标=配置位翻转对逻辑功能的影响 · TMR表决器验证与刷新恢复过程
单粒子翻转注入实…目标=配置位翻转…
19
单粒子功能中断注入实验案例
目标=SEFI对状态机与控制流的影响 · 看门狗与重构恢复验证
单粒子功能断注入实验案例
20
单粒子锁定与过流保护验证
目标=SEL检测 · 限流保护 · 断电重启与在轨恢复策略验证
单粒子锁定过流保护验证
21
多故障与累积故障注入
目标=MBU · 累积SEU · 间歇故障
多故障累积故障注入
22
软错误率评估与在轨预测
目标=地面加速试验数据外推 · CREME96 · OMERE工具
软错误率评估轨预测
23
容错验证中的形式化与静态分析
目标=形式验证 · 故障传播分析 · 安全属性检查与覆盖确认
容错验证形式化
24
星载FPGA在轨重构与恢复验证
目标=重构控制器 · 重构时间 · 重构正确性
FPGA星载
25
故障注入与容错验证的标准化与规范
目标=ECSS · NASA · GJB相关标准
故障注入容错验证的标准化
26
典型星载FPGA容错架构案例分析
目标=抗辐射FPGA · TMR处理器 · 可重构载荷控制器的容错设计与验证
FPGA典型星载
27
故障注入平台实战
目标=搭建仿真注入环境 · 编写注入脚本 · 运行注入实验并分析结果
故障注入平台实战目标=搭建仿真注…
28
硬件故障注入实战
目标=利用动态重配置实现配置位翻转注… · 监测功能错误并验证TMR恢复
硬件故障注入实战目标=利用动态重…
29
容错验证综合项目
目标=针对星载数据处理模块 · 设计容错方案 · 实施故障注入
容错验证综合项目目标=针对星载数…
30
前沿与展望
目标=新型抗辐射FPGA · AI辅助故障注入 · 在轨自适应容错
前沿FPGA