Simulink Check
Measure design quality, track verification activities, and verify compliance with standards
Have questions? Contact Sales.
Simulink Check analyzes your models, requirements, and tests to assess design quality and compliance with standards. It provides industry-recognized checks and metrics that identify modeling standard and guideline violations as you design. Supported high-integrity software development standards include ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50716, and MathWorks Advisory Board (MAB) style guidelines. Simulink Check also supports secure coding standards such as CERT C, CWE, and ISO/IEC TS 17961. You can create custom checks to comply with your own standards or guidelines that can identify compliance issues right in the editor.
Simulink Check provides metrics and dashboards for assessing the status and quality of your design. Automatic model refactoring lets you replace modeling clones, reduce design complexity, and identify reusable content. The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.
Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178).
Modeling Standards Compliance
Connect AI Agents to Simulink Check
Bring domain-specific capabilities to your agentic AI workflow.
Check Compliance with Industry Standards
Use preconfigured checks for industry standards such as ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, MathWorks Advisory Board (MAB) guidelines, JMAAB, CERT C, CWE, and ISO/IEC TS 17961.
Find and Fix Errors as You Go
Use the Model Guidance Dashboard to identify errors and address them as they are introduced to avoid rework later. Create custom edit-time checks for Simulink, System Composer, or Stateflow to meet your organization’s own standards.
Customize Model Checks
Create, configure, and automate custom Model Advisor checks to ensure that models comply with your organization’s own standards and guidelines.
Automate Model Reviews and Reporting
Generate Model Advisor reports for reviews. Justify violations to suppress warnings and errors. Run checks on multiple machines in parallel to accelerate compliance verification with Parallel Computing Toolbox.
Run Checks with AI Agents
With Simulink Agentic Toolkit and Simulink Check, you can use AI agents to author checks, review compliance, find issues, and propose fixes. You can also automate fixes and re-check the model while you oversee the agent's actions.
Measure Quality, Complexity, and Maintainability
Assess your model’s size, architecture, and complexity with model metrics to help improve the readability, maintainability, and reusability of your project’s MATLAB, Simulink, and Stateflow artifacts. Dashboards consolidate the metrics to help you monitor your progress toward compliance with ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128, and other standards.
CI/CD Automation for Model-Based Design
Simplify adoption and optimize continuous integration/continuous delivery (CI/CD) workflowswith the CI Support Package for Simulink. Define your CI/CD pipeline, prequalify changes on your desktop to avoid build failures, integrate with CI systems such as Jenkins® or GitLab®, and execute incremental builds to reduce build time.
Simplify and Debug Complex Models
Use Model Slicer to highlight functional dependencies through a combination of static analysis and dynamic analysis based on active behavior during simulation. Debug errors such as baseline test or equivalence test failures, property proving counterexamples, or integer overflows.
Identify and Refactor Modeling Clones
Analyze models to locate clones and duplicate modeling patterns. Automatically refactor to improve maintainability, increase reuse, and reduce design complexity. Detect inefficient patterns and refactor them for increased efficiency of generated code.
Product Resources:
“We use our system design model in Simulink for ARP4754 to establish stable, objective requirements. We save time by using the model as the basis for our software design model for DO-178—from which we generate flight code—and reusing validation tests for software verification.”
Simulink Check FAQs
Simulink Check is a Simulink add-on that helps engineers improve the quality of their Simulink models by automatically identifying potential issues and verifying compliance with modeling guidelines or industry standards. It provides tooling for running checks, reviewing results, and tracking quality metrics.
Simulink Check supports high-integrity standards including ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, and MathWorks Advisory Board (MAB) guidelines, as well as secure coding standards like CERT C, CWE, and ISO/IEC TS 17961.
Yes, you can configure, customize, and automate custom Model Advisor checks to ensure models comply with your organization's own standards and guidelines, identifying compliance issues right in the editor.
The Model Testing Dashboard consolidates data from requirements-based testing activities to monitor the status and quality of unit testing artifacts and assess completeness of requirements-based testing for compliance with ISO 26262 and DO-178C standards.
Edit-time checking identifies errors and addresses them as they are introduced in the Simulink canvas to avoid rework later, allowing you to create custom checks for Simulink, System Composer, or Stateflow that meet your organization's standards.
Model Slicer highlights functional dependencies to isolate problematic behavior in models and generates simplified models for debugging issues like baseline test failures, equivalence test failures, or integer overflows.
Yes, Simulink Check analyzes models to locate clones and duplicate modeling patterns, then automatically refactors them to improve maintainability, increase reuse, and reduce design complexity.
Yes, the CI/CD Automation for Simulink Check Support Package simplifies adoption of Continuous Integration/Continuous Delivery workflows, allowing you to define pipelines, prequalify on desktop, integrate with systems like Jenkins or GitLab, and execute incremental builds.
Simulink Check provides metrics on size, architecture, and complexity for MATLAB, Simulink, and Stateflow artifacts to help improve readability, maintainability, and reusability while monitoring progress toward standards compliance.
Yes, you can run checks on multiple cores or clusters in parallel mode to reduce processing time and accelerate compliance verification when used with Parallel Computing Toolbox.
Try Simulink Check for Free
Discover the possibilities today.
Ready to Buy?
Get pricing information and explore related products.
Are You a Student?
Your school may already provide access to MATLAB, Simulink, and add-on products through a campus-wide license.
