一、静态验证
1.Model Advisor
模型验证意思是用matlab自带的规范检查工具来检查自己画的模型是否符合规范。
进行模型验证需要用到的模块是ModelAdvisor,在simulink-APPS-MODEL VERIFICATION,VALIDATION,AND TEST-ModelAdvisor,具体步骤如下:
![](https://img-blog.csdnimg.cn/img_convert/361bd3aab23c4bc1b042d7abe4142f8d.jpeg)
![](https://img-blog.csdnimg.cn/img_convert/96a9eccef26847f5b69dd41c38baf61e.jpeg)
![](https://img-blog.csdnimg.cn/img_convert/8f4625a8d0ec44c2b5e1e3e45f2ace21.jpeg)
2.规范检查
模型验证意思是用matlab自带的规范检查工具来检查自己画的模型是否符合规范。
我们常用的是MAB、JMAAB:
![](https://img-blog.csdnimg.cn/img_convert/0d0fb856a54a4301ac96eb6a4c683a2f.jpeg)
我们进入一个标准看一下: