Simulink ® Check™ анализирует модели, требования и тесты для оценки качества конструкции и соответствия стандартам. Она предоставляет признанные в отрасли проверки и метрики, которые выявляют нарушения стандартов моделирования и руководящих принципов во время разработки. Поддерживаемые стандарты разработки программного обеспечения с высоким уровнем целостности включают стандарты ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 и рекомендации по стилю работы Консультативного совета MathWorks (MAB). Simulink Check также поддерживает стандарты безопасного кодирования, такие как CERT C, CWE и ISO/IEC TS 17961. Можно создавать пользовательские проверки в соответствии с собственными стандартами или инструкциями. Проверки времени редактирования выявляют проблемы соответствия при редактировании .

Simulink Check предоставляет такие метрики, как размер и сложность для оценки состояния и качества конструкции. Панель мониторинга тестирования модели объединяет данные из действий тестирования на основе требований для отслеживания состояния тестирования. Автоматический рефакторинг модели позволяет заменить клоны моделирования, уменьшить сложность конструкции и определить повторно используемое содержимое. Инструмент Model Slicer изолирует проблемное поведение в моделях и создает упрощенные модели для отладки.

Поддержка отраслевых стандартов обеспечивается комплектом сертификации IEC (для ISO 26262 и IEC 61508) и комплектом квалификации DO (для DO-178).