This is machine translation
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.
Simulink Check
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. The Model Slicer tool isolates problematic behavior in a model and generates a simplified model 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).
Getting Started
Learn the basics of Simulink Check
Check Model Compliance
Verify model compliance with safety standards and guidelines
Customize Model Checks
Create Model Advisor checks and configurations, automate, and deploy for users
Collect Model Metrics
Collect model metric data and create custom model metrics
Refactor Models
Identify modeling clones and patterns to transform model
Model Simplification with Dependency Analysis
Trace dependencies of ports, signals, and blocks, slice larger models into simplified standalone models
Verification and Validation
Use Simulink products to test models and code, check for design errors, check against standards, measure coverage, and validate the system
Tool Qualification and Certification
Qualify Simulink Check for DO and IEC certification
