用Simulink进行设计验证万博1manbetx
查看时间表和注册课程详细信息
这个为期一天的课程重点是使用Simulink Design Verifie万博1manbetxr™来确保设计没有可能的设计错误,经过充分测试,并满足必要的要求。
主题包括:
- 检测和调试常见的设计错误
- 收集模型覆盖率
- 使用自动测试生成完成缺失的覆盖
- 为基于需求的验证验证模型属性
- 处理模型复杂性以进行高效分析
第一天
了解验证流程
摘要目的:熟悉验证工作流程,学习准备模型并使用Simulink Design Verifier进行简单的分析。万博1manbetx
- 引入形式化验证方法
- 探索Simulink设计验证万博1manbetx器的工作流程
- 准备模型并确保兼容性
- 配置分析选项
- 生成结果
检测设计错误
摘要目的:学习如何使用设计错误检测来验证模型。
- 介绍设计错误的类型
- 检测设计错误
- 结果解释和报告
- 修复设计错误
- 使用参数表
自动生成测试
摘要目的:回顾覆盖类型并学习如何使用自动测试生成来完成缺失的模型覆盖。
- 了解保险的类型
- 测量模型覆盖率
- 使用自动测试生成增加覆盖率
- 结果解释和报告
- 应用自定义条件和目标
财产证明
摘要目的:将需求形式化为属性,并学习使用属性证明来验证设计是否满足其需求。
- 形式化的需求
- 证明属性
- 调试伪造的属性
- 使用时态运算符
管理模型复杂性
摘要目的:识别模型复杂性的来源并学习提高分析性能的技术。
- 识别模型复杂性的来源
- 实现块替换
- 处理非线性
- 管理查找表的复杂性
- 使用计数器和计时器