MATLAB 和 Simulink 培训

课程详细信息

本课程为期一天,主要关注使用Simulink Design Verifier™ 来确认设计不存在潜在错误,是经过充分测试的并满足必要的设计需求。

主要内容包括:

  • 常见设计错误的检测与调试
  • 模型覆盖度检查
  • 使用自动测试用例生成功能覆盖缺失部分
  • 使用属性证明进行基于需求的验证
  • 处理模型复杂性,以进行高效分析

第1天,共1天


Understanding the Verification Workflow

目标:熟悉验证流程,学会使用Simulink Design Verifier准备模型并进行简单分析。

  • 形式化验证方法的介绍
  • 介绍Simulink Design Verifier的工作流程
  • 准备模型并确保兼容性
  • 配置分析选项
  • 生成结果

设计错误检测

目标:学习如何使用设计错误检测来验证模型。

  • 设计错误类型介绍
  • 设计错误检测
  • 解释结果和报告
  • 修复设计错误
  • 使用参数表

自动生成测试

目标:回顾覆盖率类型,并学习如何使用自动测试用例生成来完成缺失部分的覆盖。

  • 了解覆盖率的类型
  • 计算模型覆盖率
  • 使用自动测试用例生成来增加覆盖率
  • 解释结果与报告
  • 应用自定义条件与目标

属性证明

目标:将需求形式化为属性,并学习使用属性证明来验证设计是否满足其需求。

  • 将需求形式化
  • 属性证明
  • 调试修改后的属性
  • 使用时序操作

管理模型复杂度

目标:识别模型复杂度的来源,并学习提高分析性能的技术。

  • 识别模型复杂度的来源
  • 实现模块替换
  • 处理非线性
  • 管理插值表的复杂度
  • 使用计数器和计时器

难度: 中级

持续时间: 1 天

语言: English, 日本語, 한국어, 中文

查看时间表并报名