Simulink Code Inspector
Simulink Code Inspector automates the comparison of generated code with its source model to meet code-review requirements for DO-178 and other high-integrity standards. It systematically analyzes model elements—such as blocks, state diagrams, parameters, and settings—to ensure functional equivalence with the generated code.
The tool provides detailed model-to-code and code-to-model traceability, generating reports to support certification processes. These reports demonstrate functional equivalence and traceability, helping fulfill DO-178 verification objectives. The built-in app allows you to check model compatibility, inspect code, and view results directly in both the model and code.
Support for industry standards, including DO-178, is available through the DO Qualification Kit.
Prepare Models for Code Generation and Inspection
Run model compatibility checks to prepare your models for Simulink Code Inspector. Results are displayed directly in the app, where you can review and apply necessary fixes.
Generate Code from Models
Generate code from your models using Embedded Coder for optimized, production-ready C and C++ code.
Inspect Code and Review Inspection Results
Inspect generated code for compliance with the model, with results available directly within the app.
Generate Reports and Traceability Matrices
Use the app to generate code inspection and traceability reports for enhanced verification and documentation.