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).
Изучение основ Simulink Check
Проверьте податливость модели стандартам безопасности и руководствам
Создание проверок и строений Model Advisor, автоматизация и развертывание для пользователей
Собирайте метрические данные о ваших моделях и программных продуктах проверки
Идентифицируйте клоны и шаблоны моделирования для преобразования модели
Проследите зависимости портов, сигналов и блоков, нарежьте большие модели в упрощенные автономные модели
Используйте продукты Simulink для экспериментальных моделей и кода, проверки на ошибки проектирования, проверки на соответствие стандартам, измерения покрытия и валидации системы
Проверьте Simulink Check для сертификации DO и IEC