SIL Verification for a Subsystem
This example shows subsystem verification by ensuring the output of software-in-the-loop (SIL) code matches that of the model subsystem. You generate a SIL verification harness, collect simulation results, and compare the results using the simulation data inspector. You can apply a similar process for processor-in-the-loop (PIL) verification.
With SIL simulation, you can verify the behavior of production source code on your host computer. With PIL simulation, you can verify the compiled object code that you intend to deploy in production. You can run the PIL object code on real target hardware or on an instruction set simulator.
If you have an Embedded Coder® license, you can create a test harness in SIL or PIL mode for model verification. You can compare the SIL or PIL block results with the model results and collect metrics, including execution time and model code coverage. You cannot collect coverage on the SIL or PIL blocks. Using the test harness to perform SIL and PIL verification, you can:
Manage the harness with your model. Generating the test harness generates the SIL block. The test harness is associated with the component under verification. You can save the test harness with the main model.
Use built-in tools for these test-design-test workflows:
Checking the SIL or PIL block equivalence
Updating the SIL or PIL block to the latest model design
View and compare logged data and signals using the Test Manager and Simulation Data Inspector.
When you create an equivalence test that compares normal and SIL or PIL simulation modes, a separate test harness is used to test each mode. However, if you are equivalence testing an atomic subsystem or Model block, a single test harness can be used for both the normal and SIL or PIL simulations. For information about when the a single harness is used for atomic subsystem equivalence tests, see Generate Tests and Test Harnesses for a Model or Components.
This example models a closed-loop controller-plant system. The controller regulates the plant output.
Create a SIL Verification Harness for a Controller
Create a SIL verification harness using data that you log from a closed-loop controller-plant system. The controller subsystem regulates the plant output. You need an Embedded Coder license for this example. Another way to create a SIL harness is with the Create Test for Model Component Wizard (see Generate Tests and Test Harnesses for a Model or Components and Create and Run a Back-to-Back Test).
Open the example model by entering this command in the MATLAB® Command Window.
openExample('ecoder/SILPILVerificationExample', ... supportingFile='SILBlock.slx')
Save a copy of the model using the name
controller_modelin a new folder, in a writable location on the MATLAB path.
Enable signal logging for the model. At the command prompt, enter
Right-click the signal into Controller port In1, and select Properties. In the Signal Properties dialog box, for the Signal name, enter
controller_model_input. Select Log signal data and click OK.
Right-click the signal out of Controller port Out1, and select Properties. In the Signal Properties dialog box, for the Signal name, enter
controller_model_output. Select Log signal data and click OK.
Simulate the model.
Get the logged signals from the simulation output into the workspace. At the command prompt, enter
out_data = out.get("SIL_signals"); control_in1 = out_data.get("controller_model_input"); control_out1 = out_data.get("controller_model_output");
Create the software-in-the-loop test harness. Right-click the Controller subsystem and select Test Harness > Create for 'Controller'.
Set the harness properties:
Sources and Sinks:
Select Open harness after creation
Advanced Properties – Verification Mode:
Click OK. The resulting test harness has a SIL block.
Configure and Simulate a SIL Verification Harness
Configure and simulate a SIL verification harness for a controller subsystem.
Configure the test harness to import the logged controller input values. From the top level of the test harness, in the model Configuration Parameters dialog box, in the Data Import/Export pane, select Input. Enter
control_in1.Valuesas the input and click OK.
Enable signal logging for the test harness. At the command prompt, enter
Right-click the output signal of the SIL block and select Properties. In the Signal Properties dialog box, for the Signal name, enter
SIL_block_out. Select Log signal data and click OK.
Simulate the harness.
Compare the SIL Block and Model Controller Outputs
Compare the outputs for a verification harness and a controller subsystem.
In the test harness model, in the Simulation tab, in the Review Results section, click Data Inspector to open the Simulation Data Inspector.
In the Simulation Data Inspector, click Import. In the Import dialog box.
Set Import from to:
Set Import to to:
Under Name, select all of the check boxes to import data from all sources.
controller_model_outsignals in the Runs pane of the data inspector window.
The chart displays the two signals, which overlap. This result suggests equivalence for the SIL code. You can plot signal differences using the Compare tab in SDI, and perform more detailed analyses for verification. For more information, see Compare Simulation Data.
Close the test harness window. You return to the main model. The badge on the Controller block indicates that the SIL harness is associated with the subsystem.