Создание пользовательских проверок с использованием Model Advisor Configuration Editor
Создание пользовательских проверок с использованием Model Advisor Configuration Editor

Simulink Check включает в себя общепризнанные проверки и метрики, которые выявляют нарушения стандартов и правил моделирования во время разработки. Поддерживаемые стандарты разработки программного обеспечения с высокой степенью надежности включают руководства по стилю DO-178, ISO 26262, IEC 61508, IEC 62304 и MathWorks Automotive Advisory Board (MAAB). Проверки времени редактирования определяют проблемы соответствия стандартам при редактировании. Для соответствия пользовательским стандартам или руководствам можно создавать собственные проверки.

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

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

Создание пользовательских проверок с использованием Model Advisor Configuration Editor Создание пользовательских проверок с использованием Model Advisor Configuration Editor

Проверка качества модели

Интерактивные отчеты с результатами и рекомендациями
Интерактивные отчеты с результатами и рекомендациями
Интерактивные отчеты с результатами и рекомендациями Интерактивные отчеты с результатами и рекомендациями

Проверка соответствия руководствам по стилю и стандартам моделирования.

Готовые к использованию проверки для разработки программного обеспечения высокой целостности

Чтобы улучшить качество и безопасность моделей и сгенерированного кода, Simulink Check предоставляет предварительно сконфигурированные проверки для отраслевых стандартов, таких как DO-178C, DO-331, ISO 26262, IEC 61508 и EN 50128, а также MISRA C: 2012, рекомендации по стилю MAAB, Стандарты IEC 62304 для разработки программного обеспечения с высокой степенью целостности и стандарты безопасного кодирования, такие как CERT C, CWE и ISO / IEC TS 17961.

Определение и исправление ошибок при редактировании

Проверки во время редактирования уведомляют пользователя о нарушениях при редактировании модели. Ошибки исправляются на лету, что минимизирует дорогостоящие переделки и дополнительное тестирование в конце процесса разработки.

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

Для анализа модели на соответствие собственным стандартам или рекомендациям организации, проверки могут быть настроены и сконфигурированы с помощью API Model Advisor или редактора конфигурации Model Advisor. Проверки могут быть запущены на нескольких машинах параллельно, чтобы ускорить проверку соответствия.

Измерение и просмотр метрик модели

Результаты анализа проекта в Metrics Dashboard
Результаты анализа проекта в Metrics Dashboard

Оценка статуса проекта с помощью метрик из инструментов для модельно-ориентированного проектирования.

Сбор метрик модели

Simulink Check собирает метрики модели, которые можно использовать для оценки архитектуры, сложности и читаемости модели в соответствии со стандартами DO-178, DO-331, IEC 61508, IEC 62304, ISO 26262 и EN 50128.

Просмотр консолидированных показателей с помощью панели метрик

Панель метрик Metrics Dashboard объединяет такие метрики, как размер модели, количество строк кода, статус соответствия руководствам по моделирования, меру переиспользуемости и сложность, в едином представлении, позволяя получить представление о качестве проекта.

Результаты анализа проекта в Metrics Dashboard Результаты анализа проекта в Metrics Dashboard

Упрощение и отладка сложных моделей

Подсветка части модели для изоляции.
Подсветка части модели для изоляции.
Подсветка части модели для изоляции. Подсветка части модели для изоляции.

Model Slicer предназначен для изоляции функциональности модели с помощью комбинации динамического и статического анализа.

Выделение зависимости

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

Создание автономной упрощенной модели

Model Slicer может изолировать часть модели на основе заданной пользователем начальной точки, зарегистрированных сигналов или интервала времени симуляции и сохранить ее как модель меньшего размера, которая сохраняет поведение для отладки и повышения производительности.

Выделение на основе активности с помощью Stateflow

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

Рефакторинг моделей для улучшения дизайна и увеличения количества переиспользуемых компонентов

Обнаружение шаблонов моделирования, которые могут быть заменены вариантами
Обнаружение шаблонов моделирования, которые могут быть заменены вариантами

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

Выявление и рефакторинг копий моделирования

Инструмент «Identify Modeling Clones» анализирует модель и идентифицирует повторяющиеся шаблоны моделирования (клоны). Идентифицированные копии автоматически подвергаются рефакторингу с помощью переиспользуемой библиотеки для повышения удобства сопровождения и снижения сложности проектирования.

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

Инструмент «Model Transformer» идентифицирует шаблоны моделирования, которые можно преобразовать в блоки «Вариантный источник» (Variant Source) или «Подсистема с вариантами» (Variant Subsystem), и реорганизует модель для улучшения ее компонентизации и повторного использования. Инструмент может идентифицировать блоки Data Store, которые могут быть устранены для улучшения читабельности.

Обнаружение шаблонов моделирования, которые могут быть заменены вариантами Обнаружение шаблонов моделирования, которые могут быть заменены вариантами

${message}

${message}