Analyze Export-Function Model with Global Simulink Function
This example shows how you can analyze an export-function model
sldvexGlobalSimFcn that consists of a global Simulink Function to be used as an AUTOSAR server runnable.
1. Open the
2. To run the test generation analysis, on the Design Verifier tab, click Generate Tests.
The Simulink Design Verifier Results Summary window indicates that a scheduler model
sldvexGlobalSimFcn_sldvScheduler.slx is created. You can also generate a scheduler model by using
The scheduler model consists of a MATLAB function block
_SldvExportFcnScheduler and a function-call subsystem that calls the function calls periodically. This MATLAB function block is driven by inports which represent the input arguments of the Simulink Function. An additional Inport block called
FcnTriggerPort, the value of which indicates whether to invoke a particular function in a time step.
3. After the test generation analysis, in the Simulink Design Verifier Results Summary window, you see the results that
5/5 objectives are Satisfied.