Simulink Code Inspector automatically compares generated code with its source model to satisfy code-review objectives in DO-178 and other high-integrity standards. The code inspector systematically examines blocks, state diagrams, parameters, and settings in a model to determine whether they are functionally equivalent to operations, operators, and data in the generated code.
Simulink Code Inspector provides detailed model-to-code and code-to-model traceability analysis. It generates functional equivalence and traceability reports that you can submit to certification authorities to satisfy DO-178 software coding verification objectives. It includes an app that lets you check model compatibility and inspect the code. Code inspection results are displayed in the model and in the associated code.
Support for industry standards is available through DO Qualification Kit (for DO-178).
Prepare Models for Code Generation and Inspection
Prepare your models for use with Simulink Code Inspector by running model compatibility checks. Results are shown directly in the Simulink Code Inspector app where fixes can be applied.
Generate Code from Models
Generate code from your models using Embedded Coder.
Inspect Code and Review Inspection Results
Inspect the generated code for compliance to the model. The results are available directly in the app.
Generate Reports and Traceability Matrices
Use the app to generate code inspection and traceability reports.
Product Resources:
“With Model-Based Design we had a successful first flight; there were no issues from a control or integration standpoint. Generating the control law code from our Simulink model with Embedded Coder eliminated the slowdowns caused by manual code generation and freed the team to work on meeting the broader program goals.”
Simulink Code Inspector FAQs
Simulink Code Inspector automatically compares generated code with its source model to satisfy code-review objectives in DO-178 by examining blocks, state diagrams, parameters, and settings for functional equivalence. It provides detailed model-to-code and code-to-model traceability analysis.
It systematically examines blocks, state diagrams, parameters, and settings in a model to determine whether they are functionally equivalent to operations, operators, and data in the generated code. The code inspection process builds an in-memory representation of the model that is independent of the code generation process.
It generates functional equivalence and traceability reports, including detailed model-to-code and code-to-model traceability analysis that can be submitted to certification authorities.
You can run model compatibility checks using Model Advisor or using the Simulink Code Inspector app. These checks can also be enabled during edit-time to identify incompatibility issues as you work on your design.
It supports DO-178C with support available through the DO Qualification Kit.
Yes, you generate code from your models using Embedded Coder before inspecting it with Simulink Code Inspector.
Interested in Simulink Code Inspector?
What's Next?
Panel Navigation
DO-178C Workflow
View a DO-178C workflow with qualified code generation.
Panel Navigation
DO-178 Case Study
Learn about using MathWorks toolbx on a DO-178 project.
Panel Navigation
DO-178 Certification Advisory Service
Work with MathWorks Consulting to migrate your existing software development process.
