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

Запуск

Изучите основы Simulink Check

Проверьте соответствие модели

Проверьте податливость модели со стандартами безопасности и инструкциями

Настройте проверки модели

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

Соберите метрики модели и тестирования

Соберите метрические данные модели и создайте пользовательские метрики модели

Осуществите рефакторинг модели

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

Упрощение модели с анализом зависимостей

Проследите зависимости портов, сигналов и блоков, срез большие модели в упрощенные автономные модели

Верификация и валидация

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

Квалификация инструмента и сертификация

Квалифицируйте Simulink Check к сертификации IEC и DO