VIP13
本课程属于：005-星载计算可靠性与故障容错 航空航天_卫星与无人系统工程 · 共 13 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

星载计算机故障容错综合验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与验证对象界定
目标=星载计算机故障容错综合验证的目… · 范围 · 对象边界与全课程路线图
课程导入验证对象界定
02
星载计算平台与任务剖面
目标=典型星载计算机架构 · 在轨任务模式 · 空间环境约束与容错需求来源
星载计算平台任务剖面
03
故障与容错基本术语
目标=故障 · 错误 · 失效
故障容错基本术语
04
容错机制分类与验证映射
目标=硬件冗余 · 信息冗余 · 时间冗余
容错机制分类验证映射
05
综合验证总体框架
目标=验证计划 · 验证平台 · 验证用例
综合验证总体框架目标=验证计划
06
故障注入方法总览
目标=物理注入 · 仿真注入 · 软件注入
故障注入方法总览目标=物理注入
07
单粒子翻转故障注入实践
目标=寄存器 · 存储器 · 总线与组合逻辑的SEU注入建模与执行…
单粒子翻转故障注…目标=寄存器
08
永久故障与间歇故障注入
目标=固定型故障 · 桥接故障 · 间歇性故障的建模
永久故障间歇故障注入
09
故障传播与影响分析
目标=从故障点到系统失效的传播路径 · 屏蔽机制与关键节点识别方法
故障传播影响分析
10
故障容错验证用例设计
目标=基于任务剖面 · 故障模式与影响分析设计覆盖正常 · 降级与重构场景的用例
故障容错验证用例…目标=基于任务剖…
11
验证环境与目标平台搭建
目标=仿真器 · FPGA原型 · 硬件在环与星载真实硬件的验证环境构建
验证环境目标平台搭建
12
故障注入器设计与实现
目标=注入触发 · 注入位置 · 注入时序
故障注入器设计实现
13
观测点与可观测性设计
目标=遥测 · 日志 · 总线监视
观测点可观测性设计
14
容错机制功能验证
目标=三模冗余 · 纠错码 · 看门狗
容错机制功能验证目标=三模冗余
15
故障检测与诊断验证
目标=检测算法 · 诊断逻辑 · 误报漏报
故障检测诊断验证
16
系统恢复与重构验证
目标=恢复策略 · 状态回滚 · 任务迁移
系统恢复重构验证
17
时间与同步容错验证
目标=时钟同步 · 时间冗余 · 超时机制与时间确定性在故障下的验证
时间同步容错验证
18
总线与通信容错验证
目标=星载总线协议 · 通信冗余 · 错误检测与重传机制在故障注入下的验证
总线通信容错验证
19
存储器与数据完整性验证
目标=EDAC · scrubbing · 存储器冗余与数据路径完整性验证
存储器数据完整性验证
20
电源与复位容错验证
目标=电源异常 · 复位逻辑 · 掉电保护与上电恢复过程的容错验证
电源复位容错验证
21
软件容错验证
目标=软件陷阱 · 恢复块 · N版本编程
软件容错验证目标=软件陷阱
22
综合验证中的覆盖率评估
目标=故障覆盖率 · 代码覆盖率 · 功能覆盖率与场景覆盖率的度量与提升
综合验证覆盖率评估
23
验证结果分析与缺陷定位
目标=异常判定 · 根因分析 · 缺陷复现与验证报告撰写方法
验证结果分析缺陷定位
24
自动化验证与回归测试
目标=脚本化注入 · 批量执行 · 结果比对与持续回归验证流程
自动化验证回归测试
25
形式化与半形式化验证辅助
目标=模型检验 · 定理证明与静态分析在容错验证中的辅助…
形式化半形式化验证辅助
26
典型星载计算机容错验证案例
目标=针对具体星载平台开展故障注入与…
典型星载计算机容…目标=针对具体星…
27
多故障与级联故障验证
目标=多点故障 · 共因故障与级联失效场景的注入与系统级…
多故障级联故障验证
28
在轨可重构与自主恢复验证
目标=在轨重构策略 · 自主健康管理 · 故障隔离与恢复的验证任务
轨可重构自主恢复验证
29
验证标准与适航符合性
目标=空间任务验证标准 · 安全关键系统认证要求与验证证据的符合…
验证标准适航符合性
30
综合实战与课程总结
目标=从需求到验证报告的全流程实战演… · 关键经验总结与后续学习路径
综合实战课程总结