How to use Simulink Design Verifier on export-function models?

3 ビュー (過去 30 日間)
MathWorks Support Team
MathWorks Support Team 2017 年 10 月 10 日
編集済み: MathWorks Support Team 2021 年 9 月 7 日
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
MathWorks Support Team 2021 年 8 月 18 日
編集済み: MathWorks Support Team 2021 年 9 月 7 日
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
Pat Canny 2018 年 11 月 1 日
編集済み: MathWorks Support Team 2021 年 9 月 7 日
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.

カテゴリ

Help Center および File ExchangeSchedule Model Components についてさらに検索

タグ

タグが未入力です。

製品


リリース

R2016b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by