Simulink Check

Measure design quality, track verification activities, and verify compliance with standards

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, 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 such as size and complexity for assessing the status and quality of your design. The Model Testing Dashboard consolidates data from your requirements-based testing activities to track testing status. 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).

Model Advisor window showing a browser with the list of checks for modeling standards that come with Simulink Check and a pane that describes tips, check types, and result status.

Checks for industry standards in Model Advisor showing results of those run: passed, failed, warning, and justified.

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.

Enabling Model-Based Design for DO-254 Certification Compliance

Documentation | Examples

A folder structure with custom selected checks that generates a warning if an incorrect icon shape is used for a logical operator.

Customize Model Checks

Configure, customize, and automate custom Model Advisor checks to ensure that models comply with your organization’s own standards and guidelines.

How to Define Custom Edit-Time Checks (3:58)

Documentation | Examples

Find and Fix Errors as You Go

Use edit-time checking 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.

Find System and Software Architecture Guideline Errors as You Edit (3:32)

Documentation | Examples

A MATLAB Project and your process model are input to the build system for analysis, which then generates a list of pipeline tasks that were successfully run in the pipeline

CI/CD Automation for Model-Based Design

Simplify adoption and optimize Continuous Integration/Continuous Delivery (CI/CD) workflows for Simulink with the CI/CD Automation for Simulink Check™ Support Package. You can define your CI/CD pipeline, prequalify on your desktop to avoid build failures, integrate with CI Systems such as Jenkins^® or Gitlab^® and execute incremental builds to reduce build time.

Get support package

Documentation

The Model Testing Dashboard with an artifact panel showing a tree of models, requirements, and tests.

Track Requirements-Based Testing

Monitor the status and quality of unit testing artifacts to assess the completeness of your requirements-based testing and comply with ISO 26262 and DO-178C standards.

Manage the Requirements-Based Testing Process with Model Testing Dashboard (5:13)

Documentation | Examples

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 MATLAB, Simulink, and Stateflow artifacts in your project. Dashboards consolidate the metrics to help you monitor your progress towards compliance to standards such as ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128, and other standards.

Model Quality Objectives for Collaboration between OEM and Suppliers (24:13)

Documentation | Examples

Model Advisor showing a check for model font settings selected.

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

Documentation | Examples

A Simulink model with highlights on those signals and blocks that affect a specific signal output.

Simplify and Debug Complex Models

Use Model Slicer to highlight functional dependencies through a combination of static 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.

Debug Baseline Test Failures Using Model Slicer (4:03)

Documentation | Examples

Duplicate patterns in a model are highlighted as clone groups and a bar graph shows a summary.

Identify and Refactor Modeling Clones Across Models

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 code efficiency.

Detecting Modeling Clones (2:13)

Documentation | Examples

Product Resources:

Documentation Code examples Videos Requirements Release notes

Airbus Helicopters Accelerates Development of DO-178B Certified Software with Model-Based Design

“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.”
Ronald Blanrue, Airbus Helicopters

View more customer stories