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