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

MBD模型与生成代码一致性验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与一致性验证全景
目标=MBD开发流程 · 模型与代码的映射关系 · 一致性验证的目标
课程导入一致性验证全景
02
MBD模型与生成代码基础
目标=Simulink/Statef… · 代码生成器工作原理 · 模型到代码的转换规则与常见差异来源
MBD模型
03
一致性验证的度量与标准
目标=结构一致性 · 行为一致性 · 时序一致性
一致性验证的度量标准
04
验证环境搭建
目标=MATLAB/Simulink · Embedded Coder · 目标编译器
验证环境搭建MATLAB/Simul…
05
模型静态检查与代码静态检查
目标=模型规范检查（MAAB） · 代码规范检查（MISRA C） · 静态分析工具的使用与结果关联
模型静态检查代码静态检查
06
模型到代码的追溯性建立
目标=需求 · 模型元素 · 代码行之间的双向追溯方法
模型到代码的追溯…目标=需求
07
基于仿真的等价性验证
目标=模型在环（MIL） · 软件在环（SIL） · 处理器在环（PIL）测试的原理
基于仿真的等价性…MIL
08
SIL测试实战
目标=为给定Simulink模型生成… · 搭建SIL测试框架 · 设计测试用例
SIL测试实战
09
PIL测试实战
目标=在目标硬件或指令集模拟器上运行… · 与模型仿真结果对比 · 处理定点与浮点差异
PIL测试实战
10
代码覆盖率与模型覆盖率关联
目标=语句 · 分支 · MC/DC覆盖率在模型与代码中的映射
代码覆盖率模型覆盖率关联
11
时序与调度一致性验证
目标=模型采样时间 · 任务调度 · 代码执行时序的对比方法
时序调度一致性验证
12
数值精度与数据类型一致性
目标=定点 · 浮点 · 饱和
数值精度数据类型一致性
13
状态机与逻辑一致性验证
目标=Stateflow状态机与生成… · 转移条件 · 默认转移的等价性检查
状态机逻辑一致性验证
14
函数调用与接口一致性验证
目标=模型子系统 · 函数调用子系统 · C函数接口与生成代码的签名
函数调用接口一致性验证
15
全局变量与数据存储一致性
目标=模型数据字典 · 信号对象 · 参数对象与生成代码中变量定义
全局变量数据存储一致性
16
代码生成配置对一致性的影响
目标=优化选项 · 内联 · 循环展开
代码生成配置对一…目标=优化选项
17
自动化一致性验证脚本开发
目标=使用MATLAB脚本 · Python或CI工具自动化执行模型… · 代码生成
自动化一致性验证…MATLAB
18
持续集成中的一致性验证
目标=将一致性验证嵌入Jenkins… · 实现每次模型变更后的自动回归验证
持续集成一致性验证
19
基于形式化方法的一致性验证
目标=模型检测 · 定理证明 · 等价性检查工具在模型与代码一致性验证…
基于形式化方法的…目标=模型检测
20
变异测试与一致性验证
目标=在模型或代码中注入变异 · 评估测试用例对一致性缺陷的检测能力
变异测试一致性验证
21
一致性缺陷分析与调试
目标=常见不一致类型（如初始化 · 边界条件 · 运算顺序）的定位
一致性缺陷分析调试
22
案例研究一
目标=汽车ECU控制模型的一致性验证 · 代码生成 · SIL/PIL测试
案例研究一ECU
23
案例研究二
目标=航空飞控系统的一致性验证 · 形式化验证与适航审定证据准备
案例研究二目标=航空飞控系…
24
案例研究三
目标=工业电机控制的一致性验证 · PWM时序 · 中断处理在模型与代码中的一致性验证
案例研究三目标=工业电机控…
25
验证报告与证据管理
目标=一致性验证报告的内容 · 格式 · 工具生成
验证报告证据管理
26
团队协作与角色分工
目标=模型开发者 · 代码生成工程师 · 验证工程师
团队协作角色分工
27
一致性验证成熟度模型
目标=从手动验证到自动化 · 持续化 · 形式化的演进路径与评估指标
一致性验证成熟度…目标=从手动验证…
28
工具链对比与选型
目标=MathWorks工具链 · 第三方验证工具 · 开源工具在一致性验证中的能力对比与选…
工具链对比选型
29
前沿趋势
目标=AI辅助的一致性验证 · 数字孪生中的模型代码同步 · 云原生验证平台的发展
前沿趋势AI
30
课程总结与综合实战
目标=回顾核心方法 · 完成一个端到端的模型与代码一致性验证… · 提交验证报告与改进建议
课程总结综合实战