Simulink Check
Simulink Check evaluates your models, requirements, and tests to ensure design quality and standards compliance. It offers built-in checks and metrics that flag violations as you design, supporting standards like ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, and MAB guidelines, along with secure coding standards such as CERT C, CWE, and ISO/IEC TS 17961. You can also define custom checks to align with your organization’s specific guidelines.
The tool provides metrics on model size and complexity and includes a Model Testing Dashboard to monitor requirements-based testing progress. Automatic model refactoring helps reduce complexity and improve reusability by removing clones. Model Slicer isolates issues and creates simplified models for efficient debugging.
Support for standards is available via the IEC Certification Kit (ISO 26262, IEC 61508) and DO Qualification Kit (DO-178).
Check Compliance with Industry Standards
Leverage preconfigured checks for industry standards like ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, MAB guidelines, JMAAB, CERT C, CWE, and ISO/IEC TS 17961.
Customize Model Checks
Configure, customize, and automate Model Advisor checks to enforce compliance with your organization’s modeling standards and guidelines.
Find and Fix Errors as You Go
Use edit-time checking to catch and fix errors as they occur, reducing rework later. Create custom checks for Simulink, System Composer, or Stateflow to enforce your organization’s standards.
CI/CD Automation for Model-Based Design
Streamline CI/CD workflows for Simulink using the CI/CD Automation for Simulink Check Support Package. Define your pipeline, prequalify builds locally to prevent failures, integrate with CI systems like Jenkins® or GitLab®, and run incremental builds to save time.
Track Requirements-Based Testing
Track the status and quality of unit testing artifacts to evaluate requirements-based testing completeness and ensure compliance with ISO 26262 and DO-178C. Use the SIL and PIL Code Testing Dashboards to assess code testing status and quality for software-in-the-loop and processor-in-the-loop tests.
Measure Quality, Complexity and Maintainability
Evaluate model size, architecture, and complexity using model metrics to enhance the readability, maintainability, and reusability of your MATLAB, Simulink, and Stateflow artifacts. Dashboards consolidate these metrics, helping you track progress toward compliance with standards like ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128, and more.
Automate Model Reviews and Reporting
Generate Model Advisor reports for model reviews, and justify violations to suppress related warnings and errors. Speed up compliance checks by running them in parallel across multiple machines using Parallel Computing Toolbox.
Simplify and Debug Complex Models
Use Model Slicer to highlight functional dependencies using static and dynamic analysis based on simulation behavior. It helps debug issues like baseline or equivalence test failures, property proving counterexamples, and integer overflows.
Identify and Refactor Modeling Clones Across Models
Analyze models to identify clones and duplicate patterns, then automatically refactor them to enhance maintainability, promote reuse, and reduce design complexity. Detect inefficient constructs and optimize them to improve code efficiency.