Simulink Check™ analiza modelos, requisitos y pruebas para evaluar la calidad del diseño y la conformidad con estándares. Proporciona comprobaciones y métricas reconocidas por la industria que identifican infracciones de estándares y directrices de modelado a medida que desarrolla un diseño. Algunos de los estándares de desarrollo de software de alta integridad soportados son ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 y las directrices de estilo de MathWorks Advisory Board (MAB). Simulink Check también soporta estándares de codificación segura, tales como CERT C, CWE e ISO/IEC TS 17961. Puede crear comprobaciones personalizadas para cumplir con sus propios estándares o directrices que pueden identificar problemas de conformidad directamente en el editor.

Simulink Check proporciona métricas tales como tamaño y complejidad para evaluar el estado y la calidad del diseño. El panel de pruebas de modelos combina los datos de las actividades de pruebas basadas en requisitos para realizar un seguimiento del estado de las pruebas. La reestructuración automática de modelos permite reemplazar los clones de modelado, reducir la complejidad del diseño e identificar el contenido reutilizable. La herramienta Model Slicer aísla el comportamiento problemático presente en los modelos y genera modelos simplificados para depurarlos.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).