Verification

Show numerical equivalence between MATLAB^® code and generated code

Use software-in-the-loop (SIL) and processor-in-the-loop (PIL) execution to check the numerical behavior of the code that you generate from MATLAB functions. A software-in-the-loop (SIL) execution compiles generated source code and executes the code as a separate process on your development computer. A PIL execution, which requires a target connectivity configuration, cross-compiles generated source code, and then downloads and runs object code on your target hardware. You can verify the numerical behavior by comparing the results from the SIL or PIL execution against the results from the original MATLAB functions.

You can generate traceable code, which helps you to check the absence of unintended functionality, understand how the generated code implements your algorithm, and evaluate the quality of the generated code.

Objects

expand all

Target Connectivity

`rtw.connectivity.ComponentArgs`	Provide parameters for each target connectivity component
`rtw.connectivity.Config`	Define connectivity implementation that comprises builder, launcher, and communicator components
`rtw.connectivity.ConfigRegistry`	Register connectivity configuration
`rtw.connectivity.Launcher`	Control downloading, starting, and resetting of a target application
`rtw.connectivity.MakefileBuilder`	Configure toolchain-based build process
`rtw.connectivity.RtIOStreamHostCommunicator`	Configure development computer communications with target processor
`rtw.pil.RtIOStreamApplicationFramework`	Configure target-side communications

Code Generation Parameters

coder.EmbeddedCodeConfig Configuration parameters for C/C++ code generation from MATLAB code with Embedded Coder

Functions

expand all

Adding Code Instrumentation

instrumentCode Add instrumentation to generated code to perform execution time / memory usage profiling and analyze code coverage (Since R2023a)

Code Coverage Analysis

getCodeCoverageData Extract coverage data for generated C/C++ code and custom C/C++ code (MATLAB code generation) (Since R2023a)

Hardware Configuration

coder.hardware Create hardware board configuration object for C/C++ code generation from MATLAB code

rtIOStream API

`rtIOStreamClose`	Shut down communications channel
`rtIOStreamOpen`	Initialize communications channel
`rtIOStreamRecv`	Receive data through communication channel
`rtIOStreamSend`	Send data through communication channel

Connectivity Testing

`rtiostreamtest`	Test custom `rtiostream` interface implementation
`rtiostream_wrapper`	Test `rtiostream` shared library functions in MATLAB
`piltest`	Verify custom target connectivity configuration for MATLAB PIL execution

Topics

SIL and PIL Testing

Code Verification Through Software-in-the-Loop and Processor-in-the-Loop Execution
A workflow that uses SIL and PIL execution to verify the numerical behavior of generated MATLAB code.
Software-in-the-Loop Execution with the MATLAB Coder App
Use the MATLAB Coder app to verify the numerical behavior of generated C/C++ code.
Software-in-the-Loop Execution from Command Line
Use MATLAB commands to verify the numerical behavior of generated C/C++ code.
Software-in-the-Loop Execution for MATLAB Function with Multiple Signatures
Generate a SIL MEX file for multiple signatures.
Debug Generated Code During SIL or PIL Execution
Use a debugger to understand the behavior of generated code.
Create PIL Target Connectivity Configuration for MATLAB
Customize PIL execution for your target environment.
Host-Target Communication for MATLAB PIL Execution
Use the rtiostream API for communication between your development computer and target during PIL execution.
Specify Hardware Timer for MATLAB
Specify a hardware timer using the Code Replacement Tool.
Custom Toolchain Directives Required for Code Execution Profiling
Specify compiler directives for building PIL application that supports code execution profiling.
Processor-in-the-Loop Execution with the MATLAB Coder App
Use the MATLAB Coder app to verify the numerical behavior of cross-compiled object code.
Processor-in-the-Loop Execution from Command Line
Use MATLAB commands to verify the numerical behavior of cross-compiled object code.
PIL Execution with ARM Cortex-A at the Command Line
This example shows how to set up a PIL execution to verify generated code at the command line.
PIL Execution with ARM Cortex-A by Using the MATLAB Coder App
PIL Execution with App.
Verification of Code Generation Assumptions
PIL execution checks Hardware tab settings.
Speed Up SIL/PIL Execution by Disabling Constant Input Checking and Global Data Synchronization
Configure code generation parameters to turn off constant input checking or global data synchronization for SIL or PIL executions.
SIL/PIL Execution Support and Limitations
SIL and PIL execution support for code generation features.

Code Tracing

Interactively Trace Between MATLAB Code and Generated C/C++ Code
Visualize the mapping between the MATLAB code and the generated C/C++ code.
Include Comments in Generated C/C++ Code
Include MATLAB source code as comments in the generated code. Include function help text and function signature in function banner.

Polyspace Verification

Polyspace Verification of C/C++ Code Generated by MATLAB Coder
Check for run-time errors or defects in generated C/C++ code.

Report Generation

Highlight Potential Data Type Issues in a Report
Highlight MATLAB code that results in double-precision, single-precision, or expensive fixed-point operations.
Find Potential Data Type Issues in Generated Code
Highlight potential data type issues in report.

Featured Examples

SIL and PIL Verification for Deployment on Raspberry Pi

Verify the generated code by using the software-in-the-loop (SIL) and processor-in-the-loop (PIL) executions

Open Live Script