Get Started with Simulink Check

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

Tutorials

Assess and Verify Model Quality

Use industry-recognized checks and metrics that identify standard and guideline violations.

• STEP 1: Detect and Fix Model Advisor Check Violations
• STEP 2: Collect Model Metric Data by Using the Metrics Dashboard
• STEP 3: Detect and Fix Compliance Issues
• STEP 4: Refactor Models to Improve Component Reuse
• Simplify Model for Targeted Analysis of Complex Models Using Model Slicer Tool
  

  Simplify simulation, debugging, and formal analysis of large complex models by focusing on an area of interest.

• Assess Requirements-Based Testing Quality by Using the Model Testing Dashboard
  

  Use dashboard metrics to track the status and quality of testing activities.

Featured Examples

Create and Deploy Model Advisor Custom Configuration

Demonstrates how to add custom checks to the Model Advisor and remove shipping checks that you do not require.

• Open Live Script

Monitor Design Complexity Using Model Maintainability Dashboard

Assess the size, complexity, and architecture of your design.

• Open Live Script

Explore Status and Quality of Testing Activities Using Model Testing Dashboard

Evaluate the status and quality of model testing in your project.

• Open Live Script

Identify and Troubleshoot Gaps in Code Testing Results and Coverage

Use the code testing dashboards to assess and address code testing issues.

• Open Live Script

Videos

Edit-Time Checking to Find Compliance Issues Earlier
Learn how edit-time checking identifies guideline or standards issues in Simulink or Stateflow while editing.

Modeling Standards Compliance
Verify compliance with standards using Model Advisor

Using Qualified Tools in a DO-178C Development Process, Part 4: Qualified Model Verification—Model Standards
Perform static analysis to verify model standards, consistency, and accuracy, in compliance with DO-178C and DO-331.