Automate source code reviews for safety standards

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 structurally 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 structural equivalence and traceability reports that you can submit to certification authorities to satisfy DO-178 software coding verification objectives.

Support for industry standards is available through DO Qualification Kit (for DO-178).


Capabilities

Model Preparation

Use a constrained set of modeling semantics and code optimizations often used for high-integrity system models.

Learn more

Code Generation and Inspection

Examine several general categories during code inspection.

Learn more

Report Generation

Generate reports detailing the code inspection results.

Learn more

DO-178 Objectives

Reduce the time required for satisfying DO-178 source code verification objectives.

Learn more

Product Resources

Discover more about Simulink Code Inspector by exploring these resources.

Documentation

Explore documentation for Simulink Code Inspector functions and features, including release notes and examples.

Functions

Browse the list of available Simulink Code Inspector functions.

System Requirements

View system requirements for the latest release of Simulink Code Inspector.

Technical Articles

View articles that demonstrate technical advantages of using Simulink Code Inspector.

Community and Support

Find answers to questions and explore troubleshooting resources.

DO-178 Support

Ensure your design conforms to the DO-178B safety standard.

ISO 26262 Support

Ensure your design conforms to the ISO 26262 safety standard.


Try or Buy

There are many ways to start using Simulink Code Inspector. Download a free trial, or explore pricing and licensing options.

Get a Free Trial

Test drive Simulink Code Inspector.

Get a trial

Ready to Buy?

Purchase Simulink Code Inspector and explore related products.

Contact sales
Pricing and licensing

Have Questions?

Bill

Contact Bill Potter,
Simulink Code Inspector Technical Expert

Email Bill

Simulink Code Inspector requires MATLAB, and Simulink.


Related Solutions

Use Simulink Code Inspector to solve scientific and engineering challenges:


News and Events

Get a MathWorks engineer's perspective on Simulink and Model-Based Design.

Automating DO-178 Code Reviews Using Simulink Code Inspector