VIP20
本课程属于：046-MathWorks Simulink控制系统开发工程 工业软件_CAE与数字工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

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

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与一致性验证全景
目标=明确Simulink模型与生成… · 对象 · 典型工程场景
课程导入一致性验证全景
02
模型与代码的映射关系
目标=理解Simulink模型元素到… · 包括子系统 · 信号
模型代码的映射关系
03
代码生成配置对一致性的影响
目标=掌握Embedded Code… · 如系统目标文件 · 代码风格
代码生成配置对一…Embedded
04
一致性验证的度量与判定准则
目标=定义功能等价 · 数值等价 · 结构等价和时序等价
一致性验证的度量判定准则
05
基于SIL的模型与代码一致性验证
目标=搭建SIL仿真环境 · 对比模型仿真与生成代码在相同激励下的…
SIL基于
06
基于PIL的模型与代码一致性验证
目标=配置PIL仿真 · 在目标硬件或指令集模拟器上运行生成代…
PIL基于
07
SIL与PIL测试用例设计
目标=设计覆盖典型工况 · 边界条件 · 模式切换和故障注入的测试向量
SILPIL
08
数值精度与数据类型一致性检查
目标=分析定点 · 浮点 · 饱和
数值精度数据类型一致性检…
09
采样时间与任务调度一致性验证
目标=验证模型采样时间 · 任务优先级和代码调度时序的一致性 · 识别时序偏差
采样时间任务调度一致性验…
10
状态机与条件逻辑一致性验证
目标=针对Stateflow和条件子… · 验证状态迁移 · 条件判断和动作执行在代码中的等价性
状态机条件逻辑一致性验…
11
查表与插值模块一致性验证
目标=验证Lookup Table · 插值算法和断点处理在模型与生成代码中…
查表插值模块一致性验…
12
数学运算模块一致性验证
目标=验证增益 · 求和 · 乘积
数学运算模块一致…目标=验证增益
13
信号路由与总线一致性验证
目标=验证Bus · Mux · Demux
信号路由总线一致性验证
14
函数调用子系统与复用代码一致性验证
目标=验证函数调用子系统 · 可重用子系统和库模块生成代码的接口与…
函数调用子系统复用代码一致性验…
15
参数与标定数据一致性验证
目标=验证模型参数 · 工作区变量和标定数据在生成代码中的存… · 访问和更新一致性
参数标定数据一致性验…
16
基于测试管理工具的一致性验证流程
目标=使用Simulink Test… · 管理测试用例并自动生成验证报告
基于测试管理工具…Simulink
17
基于模型覆盖度与代码覆盖度的联合分析
目标=结合模型覆盖度和代码覆盖度评估… · 定位未覆盖路径
基于模型覆盖度代码覆盖度的联合…
18
代码插桩与运行时一致性监测
目标=通过代码插桩 · 信号记录和运行时监测 · 采集生成代码执行数据并与模型仿真对比
代码插桩运行时一致性监测
19
形式化方法与静态分析辅助验证
目标=利用静态分析 · 等价性检查和形式化方法辅助发现模型与…
形式化方法静态分析辅助验证
20
持续集成中的一致性验证
目标=将模型与代码一致性验证嵌入CI… · 实现自动化回归和版本变更影响分析
持续集成一致性验证
21
需求追溯与一致性验证的关联
目标=建立需求 · 模型 · 代码和测试用例之间的追溯关系
需求追溯一致性验证的关联
22
版本变更与回归验证策略
目标=针对模型修改 · 代码生成配置变更和编译器升级 · 制定回归验证范围和优先级
版本变更回归验证策略
23
多处理器与分布式系统一致性验证
目标=验证多核 · 多处理器和分布式部署下模型分区与代码…
多处理器分布式系统一致性…
24
实时性与性能一致性验证
目标=对比模型仿真与生成代码的执行时… · 最坏执行时间 · 内存占用和实时约束满足情况
实时性性能一致性验证
25
故障注入与鲁棒性一致性验证
目标=在模型和代码中注入传感器故障 · 通信错误和数值异常 · 验证容错行为一致性
故障注入鲁棒性一致性验证
26
安全关键系统中的一致性验证
目标=面向ISO 26262 · DO-178C等标准 · 讨论一致性验证的证据要求
安全关键系统一致性验证
27
自动化脚本与批量验证
目标=使用MATLAB脚本 · Python或命令行工具批量执行SI… · 结果比对和报告生成
自动化脚本批量验证
28
验证结果分析与差异定位
目标=系统化分析输出差异 · 日志和覆盖率数据 · 定位模型或代码中的缺陷根因
验证结果分析差异定位
29
典型工程案例
目标=以电机控制或车辆控制器为例 · 完整实施从模型配置 · 代码生成到SIL/PIL一致性验证的…
典型工程案例目标=以电机控制…
30
课程总结与最佳实践
目标=归纳一致性验证的常见陷阱 · 效率提升方法 · 工具链集成建议和团队协作规范
课程总结最佳实践