VIP12
本课程属于：009-Simulink模型化开发与SIL验证 工业软件_CAE与数字工程 · 共 12 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

MBD模型缺陷诊断与修复

共计 30 章节
可可资料掘金营 · 点击在线试看
01
MBD模型缺陷诊断与修复导论
目标=MBD模型的定义 · 构成要素 · 常见缺陷类型
MBD模型缺陷诊断
02
MBD模型缺陷的分类与特征
目标=语法缺陷 · 语义缺陷 · 数值缺陷
MBD模型缺陷的分类
03
模型静态检查基础
目标=使用Model Advisor · MAAB规范 · 静态分析工具进行模型规则检查与缺陷定…
模型静态检查基础Model
04
模型动态仿真诊断
目标=通过仿真日志 · 信号记录 · 断言与覆盖率分析发现运行时缺陷
模型动态仿真诊断目标=通过仿真日…
05
基于形式化方法的MBD缺陷检测
目标=模型检验 · 定理证明 · 抽象解释在MBD模型缺陷诊断中的应用
MBD基于形式化方法的
06
模型切片与缺陷定位技术
目标=程序切片 · 依赖分析 · 频谱故障定位在MBD模型中的适配与实…
模型切片缺陷定位技术
07
数据流与控制流缺陷诊断
目标=识别未初始化变量 · 死逻辑 · 条件竞争
数据流控制流缺陷诊断
08
Stateflow状态机缺陷诊断
目标=状态可达性 · 转移冲突 · 历史节点误用
Stateflow状态机缺陷诊断
09
Simulink模块级缺陷诊断
目标=常见模块（Gain · Sum · Integrator
Simulink模块级缺陷诊断
10
子系统与模型引用缺陷诊断
目标=封装错误 · 库链接断裂 · 模型引用接口不匹配的诊断与修复
子系统模型引用缺陷诊断
11
MBD模型接口缺陷诊断
目标=输入输出端口 · 总线 · 信号线
MBD模型接口缺陷诊断
12
定点与浮点数值缺陷诊断
目标=溢出 · 精度损失 · 量化误差
定点浮点数值缺陷诊断
13
代数环与求解器缺陷诊断
目标=代数环检测 · 求解器选择 · 步长设置
代数环求解器缺陷诊断
14
模型性能缺陷诊断
目标=仿真速度慢 · 内存占用高 · 代码生成效率低的瓶颈分析与优化修复
模型性能缺陷诊断目标=仿真速度慢
15
MBD模型与需求一致性缺陷诊断
目标=需求追溯 · 需求覆盖 · 需求冲突导致的模型缺陷诊断与修复
MBD模型
16
测试用例驱动的缺陷诊断
目标=基于需求覆盖 · MC/DC覆盖 · 边界值测试的缺陷暴露与定位
测试用例驱动的缺…目标=基于需求覆…
17
基于AI/ML的MBD缺陷诊断
目标=使用机器学习 · 深度学习进行缺陷预测 · 异常检测与自动分类
AI/MLMBD
18
缺陷修复策略与模式
目标=常见缺陷的修复模式 · 重构方法 · 修复后的回归验证与影响分析
缺陷修复策略模式
19
自动修复与代码生成修复
目标=基于规则 · 搜索 · 遗传编程的自动修复技术及在MBD中的…
自动修复代码生成修复
20
MBD模型缺陷管理
目标=缺陷生命周期 · 缺陷跟踪 · 缺陷库构建
MBD模型缺陷管理
21
工业案例一
目标=汽车电子控制器MBD模型缺陷诊…
工业案例一MBD
22
工业案例二
目标=航空航天飞控系统MBD模型缺陷…
工业案例二MBD
23
工业案例三
目标=工业自动化PLC的MBD模型缺…
工业案例三PLC
24
MBD模型缺陷诊断与修复工具链集成
目标=MATLAB/Simulink · Polyspace · Simulink Test
MBD模型缺陷诊断
25
MBD模型缺陷诊断与修复的验证与确认
目标=修复后模型的功能验证 · 性能验证 · 安全验证
MBD模型缺陷诊断
26
MBD模型缺陷诊断与修复的标准化与合规
目标=ISO 26262 · DO-178C · IEC 61508对缺陷管理的要求
MBD模型缺陷诊断
27
MBD模型缺陷诊断与修复的团队协作
目标=版本控制 · 评审流程 · 知识共享与持续改进
MBD模型缺陷诊断
28
MBD模型缺陷诊断与修复的前沿趋势
目标=数字孪生 · 云仿真 · 量子计算等新技术的影响
MBD模型缺陷诊断
29
MBD模型缺陷诊断与修复的伦理与安全
目标=功能安全 · 预期功能安全 · AI伦理在缺陷修复中的考量
MBD模型缺陷诊断
30
课程总结与综合项目
目标=综合运用所学知识完成一个完整M…
课程总结综合项目