Simulink® Check™ обеспечивает признанные промышленностью проверки и метрики, которые идентифицируют нарушения стандарта и инструкции во время разработки. Поддерживаемые стандарты разработки программного обеспечения высокой целостности включают DO-178, ISO 26262, IEC 61508, IEC 62304 и Инструкции по Стилю MathWorks Automotive Advisory Board (MAAB). Разовые редактированием проверки идентифицируют проблемы соответствия, как вы редактируете. Можно создать собственные проверки, чтобы выполнить собственные стандарты или инструкции.
Simulink Check обеспечивает метрики, такие как размер и сложность, которую можно использовать, чтобы оценить архитектуру модели и соответствие к стандартам. Объединенная метрическая инструментальная панель позволяет вам оценить состояние проекта и качество. Автоматический образцовый рефакторинг позволяет вам заменить дублирующиеся элементы дизайна, уменьшать сложность проекта и идентифицировать допускающее повторное использование содержимое. Инструмент Model Slicer изолирует проблематичное поведение в модели и генерирует упрощенную модель для отладки.
Поддержка промышленных стандартов доступна через IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit (for DO-178).
Разовая редактированием проверка, чтобы идентифицировать образцовые нарушения инструкции
Проверка соответствия инструкции по стилю MAAB и инструкции по разработке системы высокой целостности (ДЕЛАЮТ 178, ISO 26262, IEC 61508, IEC 62304),
Проверка соответствия безопасные стандарты кодирования (CERT C, CWE, ISO/IEC TS 17961)
Авторская разработка собственной проверки с Model Advisor Configuration Editor
Метрики для вычисления размера модели, сложности и удобочитаемости
Инструментальная панель, обеспечивающая консолидированное представление метрик и состояния проекта
Рефакторинг модели с обнаружением клонов и преобразования моделей