How to use Simulink Design Verifier on export-function models?
显示 更早的评论
I got the following error when performing model compatibility check with Simulink Design Verifier:
ERROR: [Model] has asynchronous function-call input. Simulink Design Verifier does not support Model blocks with asynchronous function-call inputs.
How to use Simulink Design Verifier on export-function models?
采纳的回答
MathWorks Support Team
2021-8-18
编辑：MathWorks Support Team
2021-9-7
0 个投票
In order to analyze export-function models with Simulink Design Verifier, please use the following workflow:
1. Create a copy of your model. This will be the Simulink Design Verifier analysis model.
2. Replace the Inport configured to output a function-call trigger with a Function-Call Generator that has the same sample time. If the trigger follows a more elaborate schedule, you will have to create an event scheduler using Stateflow as described in the following documentation:
3. Encapsulate the modified model in a subsystem. Connect all the inputs and outputs.
At this point, you should be able to check the compatibility of the model.
4. Generate a test harness by selecting
Analysis > Test harness > Create Model
. This generates a harness with a reference to the analysis model created previously.
5. Remove reference model from the test harness, and insert a reference model of the original export-function model instead. You will need to use a Function-Call Generator or event scheduler again to connect to the trigger input of the reference model.
This test harness model will run and also allow you to do coverage analysis of the model.
更多回答（1 个）
Pat Canny
2018-11-1
编辑：MathWorks Support Team
2021-9-7
0 个投票
In R2018b, Simulink Design Verifier now supports analysis of export-function models in a more automated way. See this page in our documentation to walk through a workflow.
类别
在 帮助中心 和 File Exchange 中查找有关 Schedule Model Components 的更多信息
2017-10-10
2021-9-7
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
