Начало работы с Simulink Check

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

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

Поддержка промышленных стандартов доступна через IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit (for DO-178).

Примеры

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

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

• Шаг 1: обнаружьте и зафиксируйте нарушения проверки Model Advisor
• Шаг 2: соберите метрические данные модели при помощи метрической инструментальной панели
• Шаг 3: обнаружьте и зафиксируйте проблемы соответствия
• Шаг 4: Осуществите рефакторинг модели, чтобы улучшить повторное использование компонента
• Упростите Модель для Целенаправленного Анализа Инструмента Ножа Модели использования Сложных моделей
  

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

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

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

Рекомендуемые примеры

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

Демонстрирует, как добавить собственные проверки в Model Advisor и удалить поставляющиеся проверки, которых вы не требуете.

Скрипт Open Live Script

Видео

Разовая редактированием проверка, чтобы найти проблемы соответствия ранее
Узнать, как разовая редактированием проверка идентифицирует инструкцию или проблемы стандартов в Simulink или Stateflow при редактировании.

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

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