MATLAB simulink 模型验证学习笔记

MATLAB simulink 模型验证学习笔记

一、静态验证

1.Model Advisor

模型验证意思是用matlab自带的规范检查工具来检查自己画的模型是否符合规范。
进行模型验证需要用到的模块是Model Advisor，在simulink-APPS-MODEL VERIFICATION,VALIDATION,AND TEST-Model Advisor，具体步骤如下：

2.规范检查

模型验证意思是用matlab自带的规范检查工具来检查自己画的模型是否符合规范。
我们常用的是MAB、JMAAB：

我们进入一个标准看一下：



注意：检查建模规范需要花费大量的时间，如果模型比较大，则我们应该检查子模型而不是直接检查所有模型
检查完生成报告如下：

在Model Advisor界面下会显示通过的和未通过的条款：


在汽车行业，还有一个非常重要的标准：26262。主要涉及汽车安全领域

Model Metrics也是一个重要的指标，主要涉及画图人的制作规范

3.Design Verifier里的Design Error Detection

Design Error Detection可以检查自己画的逻辑里面的数据溢出和死逻辑错误问题，也是相当重要的。

二、动态验证（调试工作）

1.Simulink Test

创建测试区块



点击OK，创建测试平台：




设置好步骤后点击保存，此时执行机里面就存好了步骤，点击运行后执行机将按照之前编号的步骤把数据依次发送给被测模型。