Verify compliance with style guidelines and modeling standards

Simulink Check™ provides industry-recognized checks and metrics that identify standard and guideline violations during development. Supported high-integrity software development standards include DO-178, ISO 26262, IEC 61508, IEC 62304, and MathWorks Automotive Advisory Board (MAAB) Style Guidelines. Edit-time checks identify compliance issues as you edit. You can create custom checks to comply with your own standards or guidelines.

Simulink Check provides metrics such as size and complexity that you can use to evaluate your model’s architecture and compliance to standards. A consolidated metrics dashboard lets you assess design status and quality. Automatic model refactoring lets you replace duplicate design elements, reduce design complexity, and identify reusable content.

Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178).

Automating Verification and Validation with Simulink


Check Model Quality with Standards

Verify compliance with style guidelines and modeling standards using checks preconfigured for standards such as: DO-178, ISO 26262, IEC 61508, IEC 62304, MISRA C:2012, and CERT-C.

Learn more

Identify and Fix Errors While You Edit

Receive notification of compliance issues to avoid violations earlier in development.

Learn more

Configure, Customize, and Automate Model Checks

Tailor modeling checks and configurations to meet your specific compliance and guideline goals.

Learn more

Measure and View Model Metrics

Assess your project status with metrics from multiple Model-Based Design tools.

Learn more

Refactor Models to Improve Design and Enable Component Reuse

Identify clones and modeling patterns to refactor models to improve component reuse.

Learn more

Product Resources

Discover more about Simulink Check by exploring these resources.

System Requirements

View system requirements for the latest release of Simulink Check.

Technical Articles

View articles that demonstrate technical advantages of using Simulink Check.

User Stories

Read how Simulink Check is accelerating research and development in your industry.

Community and Support

Find answers to questions and explore troubleshooting resources.


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


Browse the list of available Simulink Check functions.

Try or Buy

Get a Free Trial

Test drive Simulink Check.

Get a trial

Ready to Buy?

Purchase Simulink Check and explore related products.

Contact sales
Pricing and licensing

Have Questions?


Contact Paul Urban,
Simulink Check Technical Expert

Email Paul

Simulink Check requires: MATLAB, Simulink

Related Solutions

Use Simulink Check to solve scientific and engineering challenges:

News and Events

This presentation introduces Simulink Verification and Validation and Simulink Design Verifier. It highlights advanced verification and validation techniques (involving structural coverage analysis and formal methods) for testing various components

Improve Design Efficiency Using Modeling Standards Checking