Simulink® Design Verifier™ supports design error detection, test generation, and property proving for export-function models. The software creates schedulers that invoke the export-function models, and then performs the analysis on the scheduler model. You can analyze export-function models with periodic and aperiodic function-call groups. The scheduler invokes the function calls based on the sample times and priorities set in the top model. For more information, see Export-Function Models Overview.
When you invoke Simulink
Design Verifier analysis on a model that consists of export-function models, the
software creates a scheduler model and then performs the analysis. By default, the
scheduler model that the software creates is saved in this location
This example shows how to analyze an AUTOSAR example model
sldvExportFunction_autosar_multirunnables that consists of periodic
Add the example folder to the search path.
To run the test generation analysis, on the Design Verifier tab, click Generate Tests.
The Results Summary window indicates that a scheduler model
was created. You can also generate a scheduler model by using
The scheduler model consists of a MATLAB function block
_SldvExportFcnScheduler. The function calls are
called periodically as the model consists of periodic function-call
The MATLAB code specifies the order in which the periodic function-call
executes first because the time period is
1 for both of
10 time steps, the
If the model consists of aperiodic function-call subsystems, the scheduler
consists of an additional inport
AsyncCallCount indicates whether to invoke the
function-call or not in a time step.
For example, if the
Runnable1 is an aperiodic
function-call subsystem, the scheduler consists of
inport to invoke the scheduler. The Sample Time Legend and
the scheduler model for the aperiodic function-call is shown in the
After the test generation analysis, in the summary window, you see the
7/7 objectives are
To generate a coverage report by simulating the test cases, in the Results Summary window, click Simulate tests and produce a model coverage report.
The software simulates all the test cases, collects model coverage information, and displays a coverage report.
To view the detailed analysis report, click HTML in the Results Summary window.
The Schedule for Export Function Analysis section in the Analysis Information chapter lists the schedule for invoking the export-functions.
Schedule for Export Function Analysis
Simulink Design Verifier analysis does not support a model that consists of export-functions with multiple function-call initiators.
A masked model block that exports a Simulink Function block is not supported.