Main Content

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 sldvexGlobalSimFcn model.


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 sldvextract.



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.