Начало работы с проверкой Simulink

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

Обучающие программы

Оценка и проверка качества модели

Используйте признанные в отрасли проверки и метрики, которые выявляют нарушения стандартов и рекомендаций.

• ШАГ 1: Обнаружение и исправление нарушений, проверяемых консультантом по моделям
• ШАГ 2. Сбор данных метрики модели с помощью панели управления метриками
• ШАГ 3: Обнаружение и устранение проблем с соответствием требованиям
• ШАГ 4: Модели рефактора для улучшения повторного использования компонентов
• Упрощение модели для целевого анализа сложных моделей с помощью инструмента «Срез модели»
  

  Упрощение моделирования, отладки и формального анализа больших сложных моделей за счет сосредоточения внимания на интересующей области.

• Оценка качества тестирования на основе требований с помощью панели мониторинга тестирования модели
  

  Используйте метрики панели мониторинга для отслеживания состояния и качества действий тестирования.

Характерные примеры

Создание и развертывание пользовательской конфигурации Model Advisor

Демонстрирует, как добавить пользовательские чеки в Model Advisor и удалить ненужные чеки доставки.

Открыть сценарий в реальном времени

Видео

Проверка времени редактирования для поиска проблем соответствия ранее
Узнайте, как проверка времени редактирования выявляет проблемы с руководствами или стандартами в Simulink или Stateflow при редактировании.

Соответствие стандартам моделирования
Проверка соответствия стандартам с помощью Model Advisor

Использование квалифицированных инструментов в процессе разработки DO-178C, Часть 4: Проверка квалифицированных моделей - Стандарты моделей
Выполнение статического анализа для проверки стандартов модели, согласованности и точности в соответствии с DO-178C и DO-331.