Запуск с 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. Сбор метрических данных модели с помощью панели инструментов Metrics
• ШАГ 3: Обнаружение и устранение проблем податливости
• ШАГ 4: Модели рефактора для улучшения повторного использования компонента
• Упрощение модели для целевого анализа сложных моделей с помощью Model Slicer Tool
  

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

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

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

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

Создайте и разверните пользовательское строение Model Advisor

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

Открыть Live Script

Видео

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

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

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